公理语义论文

框架时序逻辑程序语言MSVL的形式语义
论文摘要形式语义是对软件系统进行形式化验证和分析的重要理论基础。程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。操作语义有助于语言的实现,公理语义有利于程序的验证,指...
Java语言的类和多态性的公理语义
论文摘要本文以Java语言为背景,重点讨论了类的继承和多态性的公理语义,同时也给出了必要的及相关的语言成分的公理语义。主要工作包括:（1）给出了类的公理语义,包括类的声明、类的...