TY  - GEN
AU  - Solanas González, Esther
AU  - Rivero Ortiz, Cristina
AU  - Moraleda de Haro, Concepción
A4  - Arenas Sánchez, Purificación
A4  - Albert Albiol, Elvira María
PY  - 2007
UR  - https://hdl.handle.net/20.500.14352/54222
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...
LA  - spa
KW  - Complejidad asintótica
TI  - Comprobacion automática de la complejidad asintótica de programas Java
TY  - coursework
ER  -