Biblioteca de la Universidad Complutense de Madrid

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

Impacto



Solanas González, Esther y Rivero Ortiz, Cristina y Moraleda de Haro, Concepción (2007) Comprobacion automática de la complejidad asintótica de programas Java. [Trabajo de curso] (No publicado)

[img]
Vista previa
PDF
1MB


Resumen

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).


Tipo de documento:Trabajo de curso
Información Adicional:

Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2006-2007)

Palabras clave:Complejidad asintótica
Materias:Ciencias > Informática > Sistemas expertos
Código ID:8935
Depositado:02 Jun 2009 08:15
Última Modificación:06 Feb 2014 08:16

Sólo personal del repositorio: página de control del artículo