Una teoría de tipos estructurados de datos
- Orejas Valdés, Fernando
- José F. Prida Director
Universidade de defensa: Universidad Complutense de Madrid
Ano de defensa: 1980
- Alberto Dou Mas de Xaxàs Presidente
- Isidro Ramos Salavert Secretario/a
- Enrique Linés Escardó Vogal
- Joaquín Arregui Fernández Vogal
- Antonio Vaquero Sánchez Vogal
Tipo: Tese
Resumo
Presentación de un nuevo método para la especificación de tipos estructurados de datos basado en su definición como espacios de funciones. Siendo sus principales características la constructividad y la independencia de modelos previos. Se estudia, además la aplicación del método de especificación a la semántica denotacional de lenguajes de programación y a la especificación algebraica de tipos de datos.