回路 swMATH ID: 10292 软件作者: 约阿希姆·范登伯格;巴特·雅各布斯 描述: Java和JML的LOOP编译器。本文描述了LOOP工具的体系结构,该工具用于对顺序Java进行推理。LOOP工具将Java和JML(一种为Java量身定制的规范语言)类转换为它们在高阶逻辑中的语义。它充当定理证明器的前端,在定理证明器中对所需属性进行实际验证。此外,本文还讨论了逻辑理论生成的相关问题。 主页: http://link.springer.com/chapter/10.1007/3-540-45319-9_21 相关软件: JML公司;PVS公司;卡拉卡拉;电子稳定控制系统/Java;艾菲尔;Coq公司;凯伊;规格#;贾斯;自旋蛋白;简化;火花;哈斯克尔;落叶松;Z;JCML公司;Daikon公司;Why3号机组;卡杜克乌斯;莫德 引用于: 24文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Java和JML的LOOP编译器。 Zbl 0978.68708号约阿希姆·范登伯格;巴特·雅各布斯 2001 全部的 前5名43位作者引用 6 巴特·雅各布斯 三 埃里克·波尔 2 达科斯塔,翁贝托·苏扎 2 克劳德·马奇 2 阿纳玛丽亚·马丁斯·莫雷拉 2 蒂尔·莫萨科夫斯基 2 Musicante,Martin A。 2 克里斯汀·保林·莫林 2 卢茨·施罗德 2 Souza Neto,Plácido A。 1 大卫·阿斯皮纳尔 1 伦纳特·贝林格 1 伊夫·贝托特 1 帕特里斯·沙林 1 德波尔(Frank S。 1 马修·德怀尔。 1 阿扎德法尔赞 1 贡查罗夫,谢尔盖·萨沃斯特·亚诺维奇 1 约翰·哈特克利夫 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 马丁·霍夫曼 1 Thibaud Hottelier 1 玛丽克·赫斯曼 1 理查德·基伯茨。 1 科瓦奇,劳拉·伊尔迪科 1 克里斯托夫·克里茨 1 刘志明 1 汉斯·沃尔夫冈·洛伊德尔 1 汉斯·梅杰尔 1 何塞·梅塞盖尔·瓜伊塔 1 阿尔贝托·莫米利亚诺 1 查尔斯·莫里塞特 1 奥斯蒂克(Oostdijk)、马蒂恩·迪德里克(Martijn Diederik) 1 Cees Pierik 1 霍斯特·赖切尔 1 马修·罗比 1 埃德温·罗德里格斯 1 马库斯·罗根巴赫 1 格里高·罗什乌 1 泽维尔·乌尔班 1 约阿希姆·范登伯格 1 王淑玲 1 马蒂恩·沃尼尔 5篇连载文章中引用 4 逻辑与代数程序设计杂志 三 理论计算机科学 2 计算的形式方面 1 计算机程序设计科学 1 函数编程杂志 在2个字段中引用 24 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文