凯文·克莱尔曼;米歇尔·切萨姆;克里希纳普拉萨德·瑟伦纳亚扬 改进协变类型检查的机制。 （英语） Zbl 1125.68074号 计算。语言系统。结构。 34，第1期，第1-17页（2008）. 摘要：共变类型是提高类型安全性的强大语言功能。然而，协变类型在与多态性结合时使类型检查复杂化。我们提出了两个新的语言特征，它们可以改进具有多态性和协变类型的语言中的类型检查，也有可能提高效率。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 关键词：类型检查;协方差;面向对象编程语言 软件：艾菲尔 PDF格式BibTeX公司 XML格式引用 \textit{K.Cleerman}等人，《计算》。语言系统。结构。34，编号1，1--17（2008；Zbl 1125.68074） 全文： 内政部 参考文献： [1] 伽玛，E。；赫尔姆·R。；约翰逊，R。；Vlissides，J.，《设计模式：可重用面向对象软件的元素》（1995），Addison-Wesley Professional：Addison-Whesley Professional Boston，MA [2] Castagna，G.协变与逆变：无缘无故的冲突。1995年美国计算机学会程序设计语言与系统汇刊；431至47页。；Castagna，G.协变与逆变：无缘无故的冲突。1995年美国计算机学会程序设计语言与系统汇刊；431-47. [3] Stroustrup，B.，《（C++）编程语言》（1997），Addison-Wesley:Addison-Whesley Boston，MA [4] Gosling，J.，《java语言规范》（2000），Addison-Wesley：Addison-Whesley Boston [5] Meyer，B.，面向对象软件构建（1997），普伦蒂斯·霍尔：新泽西州普伦蒂斯霍尔上鞍河·Zbl 0987.68516号 [6] 梅耶，B.，《埃菲尔：语言》（1992），普伦蒂斯·霍尔：普伦蒂斯霍尔纽约·Zbl 0779.68013号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。