Tesis:
Contribuciones topológicas y algebraicas a los métodos formales en programación declarativa
- 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
- Departamentos: MATEMATICA APLICADA A LAS TECNOLOGIAS DE LA INFORMACION
- Acceso electrónico:
- Director/a 1º: CRIADO HERRERO, Regino
- Director/a 2º: 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