TY  - THES
AU  - Delgado Muñoz, Agustín Daniel
A3  - Peña Marí, Ricardo
PY  - 2010
UR  - https://hdl.handle.net/20.500.14352/46313
AB  - En los últimos años han aparecido un número bastante considerable de trabajos sobre análisis de terminación de programas que han supuesto la base teórica de una serie deherramientas prácticas que han dado lugar a resultados bastante prometedores. Nos...
LA  - spa
KW  - Análisis de terminación de programas
KW  - SCT
KW  - Funciones de rango
KW  - Métodos lineales
KW  - Safe
KW  - Interpretación abstracta
KW  - Invariantes
KW  - Program termination analysis
KW  - Ranking functions
KW  - Linear methods
KW  - Abstract interpretation
KW  - Invariants
TI  - Avances recientes en análisis estáticos de terminación
M3  - master thesis
ER  -