Autor: BUJOSA BRUN, Andrés
Título: Contribuciones topológicas y algebraicas a los métodos formales en programación declarativa
Fecha: 1993
Materia: Sin materia definida
Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
Departamento: MATEMATICA APLICADA A LAS TECNOLOGIAS DE LA INFORMACION
Director/a(s):
- Director/a: CRIADO HERRERO, Regino
- Director/a: ARRIAGA GOMEZ, Fernando de
Resumen: Las contribuciones de la presente tesis doctoral pueden clasificarse en contribuciones topológicas y contribuciones algebraicas. Referente a las contribuciones topológicas podemos decir que básicamente se han aportado dos conceptos matemáticos: "Los espacios semánticos" y "El axioma de compacidad". Los propósitos fundamentales de estas aportaciones es proporcionar un cuerpo de doctrina para poder modelizar sistemas deductivos. Estos conceptos aportados se han aplicado a la descripción de la sintaxis y semántica de los lenguajes de programación funcionales y lógicos, y a la descripción de la lógica matemática de primer orden. En cuanto a las contribuciones algebraicas podemos decir que se ha aportado el anillo de las marañas, cuyo propósito fundamental ha sido el de modelizar las estructuras de datos que aparecen en programación declarativa. Dicha estructura algebraica ha sido aplicada a la descripción de las ecuaciones "guarded" (en el sentido de Hoare) y a la descripción de la operación de unificación de expresiones