Tesis doctoral de Fernando Orejas Valdés
Presentacion de un nuevo metodo para la especificacion de tipos estructurados de datos basado en su definicion como espacios de funciones. Siendo sus principales caracteristicas la constructividad y la independencia de modelos previos. Se estudia. Ademas la aplicacion del metodo de especificacion a la semantica denotacional de lenguajes de programacion y a la especificacion algebraica de tipos de datos.
Datos académicos de la tesis doctoral «Una teoria de tipos estructurados de datos.«
- Título de la tesis: Una teoria de tipos estructurados de datos.
- Autor: Fernando Orejas Valdés
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1980
Dirección y tribunal
- Director de la tesis
- Fernandez Prida De Carlos Jose
- Tribunal
- Presidente del tribunal: Alberto Dou
- Joaquin Arregui (vocal)
- Enrique Lines Escardo (vocal)
- Antonio Vaquero (vocal)