TY  - THES
AU  - Alonso Blas, Diego Esteban
A3  - Albert Albiol, Elvira
A3  - Arenas Sánchez, Purificación
PY  - 2009
UR  - https://hdl.handle.net/20.500.14352/46736
AB  - La complejidad asintótica de un programa describe la escalabilidad de su coste de ejecución. Observa su comportamiento cuando procesa datos arbitrariamente grandes y considera semejantes dos programas cuyos costes crecen de manera similar. Existen...
LA  - spa
KW  - Análisis de Coste
KW  - Análisis Estático de Programas
KW  - Análisis Automático de Complejidad
KW  - Cotas Superiores en Forma CerradaInterpretación Abstracta
KW  - Código con Certificados
KW  - Lenguajes de Programación
KW  - Código Byte de Java
KW  - Órdenes de Complejidad Asintótica
KW  - Cost Analysis
KW  - Static Program Analysis
KW  - Automatic Complexity Analysis
KW  - Closed-Form Upper Bounds
KW  - Abstract Interpretation
KW  - Proof Carrying Code
KW  - Programming Languages
KW  - Java Bytecode
KW  - Asymptotic Complexity Order
TI  - Cotas asintóticas de coste
M3  - master thesis
ER  -