保罗·博尔巴；奥古斯托·桑帕约；安娜·卡瓦尔坎蒂；墨西哥科内里奥 面向对象编程的代数推理。 （英语） Zbl 1091.68027号 科学。计算。程序。 52，编号1-3，53-100（2004）。 摘要：我们提出了一种类似于顺序Java子集的语言的代数法则，其中包括继承、递归类、动态绑定、访问控制、类型测试和强制转换、赋值，但不包括共享。这些法则在最弱的前提语义方面被证明是合理的。我们还证明了它们的完整性，即它们足以将任意程序简化为与命令程序非常接近的正规形式；如果我们的语言有递归记录，那么剩余的面向对象结构可以进一步消除。这表明，我们的法律具有足够的表达能力，可以正式派生出行为保持程序转换；我们通过推导可证明正确的重构来说明这一点。 引用于8文件 MSC公司： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 关键词：顺序Java PDF格式BibTeX公司 XML格式引用 \textit{P.Borba}等人，科学。计算。程序。52，编号1--3，53-100（2004；Zbl 1091.68027） 全文： 内政部