安德鲁·戈登。;保罗·汉金。;瑟伦·拉森。 命令对象的编译和等价。 (英语) Zbl 0942.68025号 J.功能。程序。 9,第4期,373-426(1999). 摘要:我们采用Abadi和Cardelli的非类型命令式对象演算作为最小设置,以研究编译面向对象语言时出现的编译和程序等价性问题。我们为微积分提供了基于大步和小步替换的操作语义。我们的前两个结果是证明基于替换的语义与类似于Abadi和Cardelli给出的基于闭包的语义等价的定理。我们的第三个结果是通过一个小步骤的反编译算法直接证明编译到基于堆栈的抽象机的正确性。我们的第四个结果是,宾语的语境对等符合梅森和塔尔科特的CIU对等;后者提供了一种易于处理的建立操作等效性的方法。最后,我们证明了原型编译器中用于静态解析方法偏移量的算法是正确的。这是第一次研究面向对象抽象机的正确性和命令对象演算的操作等价性。 引用于5文件 MSC公司: 68甲18 函数编程和lambda演算 关键词:面向对象语言 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}等人,J.Funct。程序。9,第4号,373--426(1999;Zbl 0942.68025) 全文: 内政部