Una teoría de tipos estructurados de datos

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

Universidade de defensa: Universidad Complutense de Madrid

Ano de defensa: 1980

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

Tipo: Tese

Teseo: 3893 DIALNET

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.