TY  - THES
AU  - Doménech Arellano, Jesús Javier
A3  - Genaim, Samir
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/11645
AB  - El problema de la terminación de un programa es fundamental en la informática y ha sido objeto de estudio de numerosas investigaciones. La técnica mejor conocida, y más frecuentemente utilizada, para demostrar terminación es la del uso de funciones de...
AB  - The problem of the program termination is fundamental in Computer Science and has been the subject of voluminous research. The best known, and often used technique for proving termination is that of ranking functions. These are functions that map the...
LA  - eng
PB  - Universidad Complutense de Madrid
KW  - Sistemas informáticos
KW  - programación de ordenadores
KW  - complejidad computacional
KW  - algoritmos computacionales
KW  - Computer systems
KW  - computer programming
KW  - Computational Complexity
KW  - Computer Algorithms
TI  - Análisis de terminación de programas con controles de flujo complejos
T2  - Termination analysis of programs with complex control-flow
M3  - doctoral thesis
ER  -