Tesis doctoral de Molina Bravo Juan Miguel
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.
Datos académicos de la tesis doctoral «Modularidad en programacion lógico-funcional de primer orden«
- Título de la tesis: Modularidad en programacion lógico-funcional de primer orden
- Autor: Molina Bravo Juan Miguel
- Universidad: Málaga
- Fecha de lectura de la tesis: 26/06/2000
Dirección y tribunal
- Director de la tesis
- Ernesto Pimentel Sanchez
- Tribunal
- Presidente del tribunal: José María Troya linero
- Fernando Orejas valdés (vocal)
- mario Rodríguez artalejo (vocal)
- María Alpuente frasnedo (vocal)