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