Eiffel语言的语义

本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处理，我们采用了ＶＤＭ的“出口”机制．

Eiffel语言3.0版本的语义

采用ＶＤＭ的指称语义元语言ＭＥＴＡⅣ描述Ｅｉｆｆｅｌ语言３．０版本的语义．包括四个部分：①对原有的Ｅｉｆｅｌ语法进行抽象，从而给出它的抽象文法．该抽象文法在保持原有语法风格的基础上，对原语法进行了一些适当修改．②描述Ｅｉｆｅｌ语言的语景条件．它首先引入一些主要辅助域和主要辅助函数，然后给出各个语言成分的良构判定式．③定义对象模型、存贮空间和动态环境等语义域．④描述基于特征的各个语言成分的语义方程．