Eiffel语言的语义  

SEMANTICS OF EIFFEL

作　　者：李师贤[1] 阮文江[1] 

机构地区：[1]中山大学软件研究所,中山大学计算中心

出　　处：《软件学报》1995年第1期17-25,共9页Journal of Software

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

关 键 词：EIFFEL语言 形式语义 面向对象语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP301.2[自动化与计算机技术—计算机科学与技术]