RT Generic
T1 Comprobacion automática de la complejidad asintótica de programas Java
A1 Solanas González, Esther
A1 Rivero Ortiz, Cristina
A1 Moraleda de Haro, Concepción
AB El objetivo de nuestro proyecto consiste en comprobar automáticamente lacomplejidad asintótica de programas Java, utilizando como lenguaje para laimplementacion Prolog.El proceso de análisis para realizar el chequeo de la complejidad esta realizadosobre la información obtenida del bytecode resultante de la compilacióndel programa Java. Disponemos también de interfaces Web, para mostrarlos 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 upperbounds of Java programs, using for the implementation the language Prolog.The process of analysis to make the ckecking of the complexity is made bymeans of the data obtained from bytecode resulting of the compilation of theJava program. We also have interfaces Web to show the obtainedexperimental results, implemented making use of technologies like Jsp, Servlets,cgi and of the Pillow bookstore (Prolog bookstore of public dominion).
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/54222
UL https://hdl.handle.net/20.500.14352/54222
LA spa
NO Trabajo de la asignatura Sistemas Informáticos (Facultad de Informática, Curso 2006-2007)
DS Docta Complutense
RD 29 abr 2024