| 一种面向对象程序自动化方法的研究 |
| |
| 引用本文： | 全炳哲,金淳兆,玄顺姬. 一种面向对象程序自动化方法的研究[J]. 软件学报, 1997, 8(5): 384-390 |
| |
| 作者姓名： | 全炳哲 金淳兆 玄顺姬 |
| |
| 作者单位： | 吉林大学计算机系,长春,130023;吉林大学计算机系,长春,130023;吉林工业大学计算机系,长春,130025 |
| |
| 基金项目： | 本文研究得到国家自然科学基金、国家“九五”攻关项目,国家863高科技项目基金资助. |
| |
| 摘 要： | 构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作，本文重点讨论了开发这些操作的方法.
|
| 关 键 词： | 构造性类型理论 面向对象程序设计 程序自动化 软件自动化 |
| 修稿时间： | 1996-06-10 |
AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY |
| |
| QUAN Bingzhe,JIN Chunzhao and XUAN Shunji. AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY[J]. Journal of Software, 1997, 8(5): 384-390 |
| |
| Authors: | QUAN Bingzhe JIN Chunzhao XUAN Shunji |
| |
| Affiliation: | QUAN Bingzhe *JIN Chunzhao ** XUAN Shunji *(Department of Computer Science Jilin University Changchun 130023) ** (Department of Computer Science Jilin University of Technology Changchun 130025) |
| |
| 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. |
| |
| Keywords: | Constructive type theory object oriented programming automatic programming software automation |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
