构造性类型理论可作为研究程序自动化的理论基础.本文根据一种支持面向对象计算的类型理论,探讨了面向对象程序自动化的途径.面向对象程序的程序单位是类,它是数据和一组相关操作的统一体,程序开发的关键在于开发这些操作,本文重点讨论了开发这些操作的方法 正文快照: 一种面向对象程序自动化方法的研究*全炳哲*金淳兆**玄顺姬*(吉林大学计算机系长春130023)**(吉林工业大学计算机系长春130025)摘要构造性类型理论可作为研究程序自动化的理论基础.本文根据一种支持面向对象计算的类型理论,探讨了面向对象程序自动