一种面向对象程序自动化方法的研究  

AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY

作　　者：全炳哲[1,2] 金淳兆[1,2] 玄顺姬[1,2] 

机构地区：[1]吉林大学计算机系 [2]吉林工业大学计算机系

出　　处：《软件学报》1997年第5期384-390,共7页Journal of Software

基　　金：国家自然科学基金;国家"九五"攻关项目;国家863高科技项目基金

摘　　要：构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作。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.

关 键 词：面向对象 程序设计 程序自动化 软件自动化 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]