Tesis doctoral de Antonio Sarmiento Escalona
La memoria es un intento de integracion de programacion logica y funcional derivado del lenguaje de programacion babel. Utiliza dominios de scott para la semantica declarativa del lenguaje y construye el modelo de herbrand minimo, para probar la completud del lenguaje, utilizando la semantica del punto fijo. la semantica operativa del lenguaje se da en terminos de estrechamiento en grafos aciclicos, y prueba que es coherente y completa respecto a la semantica declarativa.
Datos académicos de la tesis doctoral «Una aproximacion a la programacion logica con funciones indeterministas.«
- Título de la tesis: Una aproximacion a la programacion logica con funciones indeterministas.
- Autor: Antonio Sarmiento Escalona
- Universidad: A coruña
- Fecha de lectura de la tesis: 01/01/1993
Dirección y tribunal
- Director de la tesis
- Mario Rodríguez Artalejo
- Tribunal
- Presidente del tribunal: Isidro Ramos Salavert
- Trolla Linero José María (vocal)
- Fernando Orejas Valdés (vocal)
- Barja Perez José María (vocal)