作　　者： ; ;

机构地区： 中山大学信息科学与技术学院软件研究所

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

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

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

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]