对象不变式论文

Java语言的类和多态性的公理语义
论文摘要本文以Java语言为背景,重点讨论了类的继承和多态性的公理语义,同时也给出了必要的及相关的语言成分的公理语义。主要工作包括:（1）给出了类的公理语义,包括类的声明、类的...