| 摘要: |
| 本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处理，我们采用了ＶＤＭ的“出口”机制． |
| 关键词: Eiffel，OOPL，VDM，指语语义 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| SEMANTICS OF EIFFEL |
|
Li Shixian,Ruan Wenjiang
|
| Abstract: |
| A formal model of the Eiffel(1988) programming language is described using the denotational style. The model defines Eiffel's object model and two environments (dynamic and static) at first, and then studies semantics of Eiffel's routines. The "exit" mechanism of VDM is used for processing Eiffel's exception. |
| Key words: Eiffel, OOPL, VDM, denotational semantics. |
