%0 Journal Article
%T 一种面向对象程序自动化方法的研究
%A 全炳哲？
%A 金淳兆？
%A 玄顺姬？
%J 软件学报
%P 384-390
%D 1997
%X 构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作，本文重点讨论了开发这些操作的方法.
%K 构造性类型理论
%K 面向对象程序设计
%K 程序自动化
%K 软件自动化
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19970509&flag=1