T007816 实用类型程序设计
书籍:中国图书大辞典:1949-1992第16册工业技术(下)
更新时间:2018-11-09 14:02:59
出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第16册工业技术(下)》第826页(258字)
屈延文等编着。
科学出版社1992年8月版。86万字。
讨论面向软件应用与软件自动生成的实用规模软件开发的新技术——类型程序设计方法学。围绕这一主题,讨论了类型程序设计的基本实施原则。
内容包括类型程序设计概念,类型函数的算法分析与设计,自下而上构造式的类型程序设计,自上而下推导式的类型程序设计,并发类型程序设计,大型软件的程序设计,Martin-1?f类型论及用类型表达式描述的VA/VMS的一个简明的类型语义。书中配备了大量的VAXC语言的实例程序及程序设计习题。