摘要
构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作。
A constructive type theory may be used as a theoretical foundation to study automatic programming. This paper, using a type theory which supports object oriented computation, discusses an approach of object oriented automatic programming. The program unit of an object oriented program is class, encapsulating data and a group of related operations. The key problem of the program development is to implement these operations, and it is the main concern of this paper.
出处
《软件学报》
EI
CSCD
北大核心
1997年第5期384-390,共7页
Journal of Software
基金
国家自然科学基金
国家"九五"攻关项目
国家863高科技项目基金
关键词
面向对象
程序设计
程序自动化
软件自动化
Constructive type theory, object oriented programming, automatic programming, software automation.
