瞿玉忠;王志坚;徐家福 简单埃菲尔模型的指称语义。 （英语） Zbl 0837.68065号 J.计算。科学。技术。 10，第3期，214-226（1995）. 摘要：介绍了埃菲尔铁塔的一个简单抽象模型，并使用VDM风格定义了它的指称语义。提出了一种静态分析方法来处理多重继承和重命名机制。在本文介绍的指称语义学框架内，埃菲尔铁塔的主要特征，如识别、分类、多重继承、多态性和动态绑定，都可以得到充分的表征。 MSC公司： 68问题55 计算理论中的语义学 关键词：面向对象程序设计;艾菲尔;指称语义学 软件：艾菲尔;Smalltalk公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Qu}等人，《计算杂志》。科学。Technol公司。10，编号3，214--226（1995；Zbl 0837.68065） 全文： 内政部 参考文献： [1] Cardelli L.多重继承的语义。LNCS 1731984年·Zbl 0543.68011号 [2] Cardelli L，Wegner P.关于理解类型、数据抽象、多态性。《计算调查》，1985年，17（4）。 [3] Wolczko M.smalltalk-80的语义。InProc.公司。ECOOP’87，LNCS 2761987。 [4] 面向对象语言的语义。曼彻斯特大学博士论文，1988年。 [5] Cook W，Palsberg J.继承及其正确性的指称语义。SIGPLAN公告，1989年，24（10）。 [6] Cook W.继承的指称语义。1989年，布朗大学博士论文。 [7] Reddy美国对象作为闭包：面向对象语言的抽象语义。InProc.公司。ACM Lisp和FP会议，1988年。 [8] 带有状态的面向对象编程语言的包装器语义。INTACS’91会议记录，第548–568页。 [9] Goldberg A，Robson D.Smalltalk-80：语言和实现。艾迪森·卫斯理，1983年·Zbl 0518.68001号 [10] 迈耶B.面向对象的软件构造。Preinternational，1988年·Zbl 0719.68012号 [11] 梅耶·B·埃菲尔：语言。普伦蒂斯·霍尔，1992年·Zbl 0779.68013号 [12] 施密特·D·A·指称语义学：语言发展的方法论。Allyn and Bacon，Inc.1986年。 [13] 博宁·A·H·英格尔斯。Smalltalk-80中的多重继承。InProc.公司。全国艺术大会。英特尔。AAAI'82。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。