Eiffel语言的语义

摘要

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