基于类型理论的面向对象程序设计

作     者：全炳哲 金淳兆 李文辉 

作者机构：吉林大学计算机科学系 

基　　金：国家863高技术基金 国家自然科学基金 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：1997年第20卷第1期

页      码：50-57页

摘      要：构造性类型理论可作为程序开发的理论基础，其中类型作为程序规约，证明过程作为程序开发过程，从证明抽取满足程序规约的程序．本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类规约类型和类类型的概念．类是类规约类型的元素，它又是一种类型，类的元素为对象．通过证明类规约可构造类，由此构造面向对象软件．

主 题 词：类型理论 面向对象 程序设计 自动程序设计 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203140870...