Comprobacion automática de la complejidad asintótica de programas Java

Abstract

El objetivo de nuestro proyecto consiste en comprobar automáticamente la complejidad asintótica de programas Java, utilizando como lenguaje para la implementacion Prolog. El proceso de análisis para realizar el chequeo de la complejidad esta realizado sobre la información obtenida del bytecode resultante de la compilación del programa Java. Disponemos también de interfaces Web, para mostrar los resultados experimentales obtenidos, implementadas haciendo uso de tecnologías como Jsp, Servlets, CGI y de la librera Pillow (librera Prolog de dominio público). [ABSTRACT] The objective of our project consists of verifying automatically the upper bounds of Java programs, using for the implementation the language Prolog. The process of analysis to make the ckecking of the complexity is made by means of the data obtained from bytecode resulting of the compilation of the Java program. We also have interfaces Web to show the obtained experimental results, implemented making use of technologies like Jsp, Servlets, cgi and of the Pillow bookstore (Prolog bookstore of public dominion).