%0 Journal Article
%T Eiffel语言的语义
%A 李师贤
%A 阮文江
%J -
%D 1995
%X 本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处理，我们采用了ＶＤＭ的“出口”机制
%K Eiffel
%K OOPL
%K VDM
%K 指语语义
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19950103&flag=1