Modularidad en programación lógico-funcional de primer orden
- Molina Bravo, Juan Miguel
- Ernesto Pimentel Sánchez Directeur/trice
Université de défendre: Universidad de Málaga
Fecha de defensa: 26 juin 2000
- José María Troya Linero President
- Narciso Martí Oliet Secrétaire
- Mario Rodríguez Artalejo Rapporteur
- Fernando Orejas Valdés Rapporteur
- María Alpuente Frasnedo Rapporteur
Type: Thèses
Résumé
Esta tesis seocupa de una propuesta de lógica de reescritura condicional basada en el uso de constructoras presentada recientemente por J,C. González Moreno,M.T, Hortalá Gonzalez, F. López Fraguas y M. Rodriguez Artalejo con la intención de que sirva como base para la programación lógico-funcional del primer orden con funciones indeterministas y objetos infinitos. Las aportaciones que se hacen a esta propuesta consisten en un estudio detallado de la estructura de los conjuntos de modelos que se utilizan y la definición de un sistema de módulos para la estructuración de los programas en cicha lógica. En concreto, se demuestra la existencia de modelos continuos y se estudian los modelos de términos caracterizándolos como puntos prefijos de un operador de consecuencias inmediatas. También se define una noción simple de módulo como programa abierto junto con un conjunto reducido de operaciones(unión, renombramiento, eliminación de signatura y clausura), descritas a nivel sintáctico, que permiten expresar nociones más coplejas de módulo así como relaciones típicas tales como la importación, la instanciación o la herencia con sobreescritura y una relación nueva: la parametrización. Este estudio de modularidad se acompaña de un estudio de semánticas posibles para el sistema de módulos con las operaciones básicas y con una función de observación adecuada, determinando finalmente una semántica composicional y completamente abstracta.