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...

Descripción completa

Detalles Bibliográficos
Autor: Doménech Arellano, Jesús Javier
Tipo de recurso: tesis doctoral
Fecha de publicación:2021
País:España
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/11645
Acceso en línea:https://hdl.handle.net/20.500.14352/11645
Access Level:acceso abierto
Palabra clave: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
id ES_3a191e590d3a5ea9100b4b13d9d5196e
oai_identifier_str oai:docta.ucm.es:20.500.14352/11645
network_acronym_str ES
network_name_str España
repository_id_str
spelling Análisis de terminación de programas con controles de flujo complejosTermination analysis of programs with complex control-flowDoménech Arellano, Jesús Javier004.42 (043,2)004.421(043.2)004.03 (043.2)510.52(043.2)Sistemas informáticosprogramación de ordenadorescomplejidad computacionalalgoritmos computacionalesComputer systemscomputer programmingComputational ComplexityComputer AlgorithmsProgramación de ordenadores (Informática)1203.23 Lenguajes de ProgramaciónEl 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...Universidad Complutense de MadridGenaim, SamirUniversidad Complutense de Madrid20232023-06-1720212021-05-2820212021-05-28doctoral thesishttp://purl.org/coar/resource_type/c_db06info:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/11645reponame:Docta Complutenseinstname:Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/116452025-08-02T12:44:52Z
dc.title.none.fl_str_mv Análisis de terminación de programas con controles de flujo complejos
Termination analysis of programs with complex control-flow
title Análisis de terminación de programas con controles de flujo complejos
spellingShingle Análisis de terminación de programas con controles de flujo complejos
Doménech Arellano, Jesús Javier
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
title_short Análisis de terminación de programas con controles de flujo complejos
title_full Análisis de terminación de programas con controles de flujo complejos
title_fullStr Análisis de terminación de programas con controles de flujo complejos
title_full_unstemmed Análisis de terminación de programas con controles de flujo complejos
title_sort Análisis de terminación de programas con controles de flujo complejos
dc.creator.none.fl_str_mv Doménech Arellano, Jesús Javier
author Doménech Arellano, Jesús Javier
author_facet Doménech Arellano, Jesús Javier
author_role author
dc.contributor.none.fl_str_mv Genaim, Samir
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 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
topic 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
description 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...
publishDate 2021
dc.date.none.fl_str_mv 2021
2021-05-28
2021
2021-05-28
2023
2023-06-17
dc.type.none.fl_str_mv doctoral thesis
http://purl.org/coar/resource_type/c_db06
info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/11645
url https://hdl.handle.net/20.500.14352/11645
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Complutense de Madrid
publisher.none.fl_str_mv Universidad Complutense de Madrid
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:
instname_str
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1844180295631241216
score 15,638193

Similares en LA Referencia