×
巴特·雅各布斯

面向对象语言中类的协同推理。 （英语） Zbl 0917.68127号

Jacobs，Bart（编辑）等人，《计算机科学中的协代数方法》，CMCS’98。第一次研讨会会议记录，葡萄牙里斯本，1998年3月28日至29日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。11，电子文件第13号（1998年）。
摘要：本文简要讨论了如何将余代数理论中的一些思想用于前端工具LOOP中，该工具由德累斯顿和奈梅亨联合开发，用于对面向对象语言中的类进行推理（使用后端定理证明器）。它将通过示例描述关于面向对象规范和JAVA实现的推理。
关于整个系列，请参见[Zbl 0903.00067号].

引用于4文件

MSC公司：

第68季度55 计算理论中的语义学

关键词：

余代数；回路

软件：

PVS公司
PDF格式BibTeX公司 XML格式引用
\textit{B.Jacobs}，in：计算机科学中的协代数方法，CMCS’98。第一次研讨会会议记录，葡萄牙里斯本，1998年3月28日至29日。阿姆斯特丹：爱思唯尔。电子文件第13号（1998；Zbl 0917.68127）
全文： 链接