Una teoría de tipos estructurados de datos

  1. Orejas Valdés, Fernando
Dirigida por:
  1. José F. Prida Director

Universidad de defensa: Universidad Complutense de Madrid

Año de defensa: 1980

Tribunal:
  1. Alberto Dou Mas de Xaxàs Presidente
  2. Isidro Ramos Salavert Secretario/a
  3. Enrique Linés Escardó Vocal
  4. Joaquín Arregui Fernández Vocal
  5. Antonio Vaquero Sánchez Vocal

Tipo: Tesis

Teseo: 3893 DIALNET

Resumen

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.