###
DOI:
Journal of Software:1997.8(5):384-390

一种面向对象程序自动化方法的研究
全炳哲,金淳兆,玄顺姬
(吉林大学计算机系,长春,130023;吉林工业大学计算机系,长春,130025)
AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY
QUAN Bingzhe,JIN Chunzhao,XUAN Shunji
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2666   Download 2616
    Revised:June 10, 1996
> 中文摘要: 构造性类型理论可作为研究程序自动化的理论基础.本文根据一种支持面向对象计算的类型理论,探讨了面向对象程序自动化的途径.面向对象程序的程序单位是类,它是数据和一组相关操作的统一体,程序开发的关键在于开发这些操作,本文重点讨论了开发这些操作的方法.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金、国家“九五”攻关项目,国家863高科技项目基金资助. 本文研究得到国家自然科学基金、国家“九五”攻关项目,国家863高科技项目基金资助.
Foundation items:
Reference text:

全炳哲,金淳兆,玄顺姬.一种面向对象程序自动化方法的研究.软件学报,1997,8(5):384-390

QUAN Bingzhe,JIN Chunzhao,XUAN Shunji.AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY.Journal of Software,1997,8(5):384-390