Análisis de terminación de programas con controles de flujo complejos
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 clasificación (ranking functions). Estas funcion...
| Author: | |
|---|---|
| Format: | doctoral thesis |
| Publication Date: | 2021 |
| Country: | España |
| Institution: | Universidad Complutense de Madrid (UCM) |
| Repository: | Docta Complutense |
| Language: | English |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/11645 |
| Online Access: | https://hdl.handle.net/20.500.14352/11645 |
| Access Level: | Open access |
| Keyword: | 004.42 (043,2) 004.421(043.2) 004.03 (043.2) 510.52(043.2) Sistemas informáticos programación de ordenadores complejidad computacional algoritmos computacionales Computer systems computer programming Computational Complexity Computer Algorithms Programación de ordenadores (Informática) 1203.23 Lenguajes de Programación |
| Summary: | 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 clasificación (ranking functions). Estas funciones relacionan los estados del programa con los elementos de un conjunto ordenado bien-fundado, tal que el valor desciende en estado consecutivos del programa. Como descender en un conjunto ordenado bien-fundado no se puede hacer de manera infinita se demuestra la terminación del programa. Es esta tesis, abordamos el problema de terminación para Sistemas de Transiciones (Transition Systems) con valores numéricos, que son una representación de programas muy comúnmente utilizada en los análisis de programas. Los Sistemas de Transiciones están definidos por Grafos de Control de Flujo (Control-Flow Graph) donde las aristas están anotadas con fórmulas describiendo las transiciones que hay entre los nodos correspondientes... |
|---|