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