| 摘要: |
| 构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作，本文重点讨论了开发这些操作的方法. |
| 关键词: 构造性类型理论 面向对象程序设计 程序自动化 软件自动化 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金、国家“九五”攻关项目,国家863高科技项目基金资助. |
|
| AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY |
|
QUAN Bingzhe,JIN Chunzhao,XUAN Shunji
|
| Abstract: |
| 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. |
| Key words: Constructive type theory object oriented programming automatic programming software automation |
