论文部分内容阅读
该文基于程序状态的关系模型,描述了一个面向对象的程序设计语言.这个语言把异常处理作为其重要的组成部分,并将其与面向对象的其他的主要特征,如对象、动态类型、数据访问控制等有机结合在一起.该文给出了语言的语法和语义的形式化定义,并对语言的异常处理做了一些必要的抽象和简化,使用了两种基于的异常处理结构:异常监视结构和异常抛出语句.这些抽象和简化使得语言的异常处理的描述更加清晰易懂,而且不会影响其描述异常的能力.