Eiffel语言3.0版本的语义

Semantics of Eiffel V3 0

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

This paper describes the denotational semantics of Eiffel v3.0 inVDM’s meta-language META Ⅳ. It includes four parts: The first part defines Eiffel’s abstract syntax based on Eiffel’s original syntax. The second part defines context condition for Eiffel. At first, Some necessary aided fields and functions are imported, then well formed conditions are defined for every language contruct. The third part defines Eiffel’s object model, storage memory and dynamic environments. The forth part describes semantic functions for each language construct based on Eiffel’s Feature