全部 标题 作者 关键词 摘要
, PP. 17-25
Keywords: eiffel,oopl,vdm,指语语义
Full-Text Cite this paper Add to My Lib
本文采用类ｖｄｍ的指称语义技术为ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境），然后讨论ｅｉｆｆｅｌ例程的语义．为了描述ｅｉｆｆｅｌ的意外处理，我们采用了ｖｄｍ的“出口”机制．
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133
