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

构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作，本文重点讨论了开发这些操作的方法.     

基于类型理论的继承机制的研究

本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制,认为类是类规约类型的元素,而且类也是一种类型,继承是类规约和程序开发过程的重用机制.本文提出的理论可用于面向对象程序自动化的研究.