登入選單

返回Google圖書搜尋

Una teoría de tipos estructurados de datos

Fernando Orejas Valdés

出版	1979
URL	http://books.google.com.hk/books?id=rqAUjwEACAAJ&hl=&source=gbs_api

註釋

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.