作为一种软件开发的成功技术，面向对象已经成为了计算机科学学术研究领域的一个热点课题。本文旨在对面向对象的类型和精化问题进行研究。 类型系统是一种广泛应用的检验程序静态性质以及避免运行时不必要的错误的有效手段。在本文中，我们对一个具有一般性的面向对象程序设计语言建立类型系统。为了证明该类型系统的正确性，即类型安全性，我们采用类型系统建构的传统方法，提供一个该语言的操作语义并证明类型系统与操作语义的一致性。 结构精化是面向对象程序设计中的另一个重要概念，它与程序的内聚性、可维护性以及可重用性有着密切的关系。在本文中，我们采用一种图论的方法来研究面向对象结构精化。在这一模型下，类结构和程序状态都可以用带标记的有向图来表示。进而结构精化就成了图与图之间保持对外服务不减的变换。基于对结构精化不同方面的考虑，文中先后提出了几组图形精化规则并证明了它们的可靠性和完备性。