Una teoría de tipos estructurados de datos

• Autores: Fernando Orejas Valdés
• Directores de la Tesis: José F. Prida (dir. tes.)
• Lectura: En la Universidad Complutense de Madrid ( España ) en 1980
• Idioma: español
• Número de páginas: 163
• Tribunal Calificador de la Tesis: Alberto Dou Mas de Xaxàs (presid.) , Isidro Ramos Salavert (secret.) , Enrique Linés Escardó (voc.) , Joaquín Arregui Fernández (voc.) , Antonio Vaquero Sánchez (voc.)
• Texto completo no disponible (Saber más ...)
• 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.