T007816　实用类型程序设计

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第826页（258字）

屈延文等编着。

科学出版社1992年8月版。86万字。讨论面向软件应用与软件自动生成的实用规模软件开发的新技术——类型程序设计方法学。

围绕这一主题，讨论了类型程序设计的基本实施原则。

内容包括类型程序设计概念，类型函数的算法分析与设计，自下而上构造式的类型程序设计，自上而下推导式的类型程序设计，并发类型程序设计，大型软件的程序设计，Martin－1?f类型论及用类型表达式描述的VA／VMS的一个简明的类型语义。书中配备了大量的VAXC语言的实例程序及程序设计习题。