×

回路

swMATH ID: 10292
软件作者： 约阿希姆·范登伯格；巴特·雅各布斯
描述： Java和JML的LOOP编译器。本文描述了用于顺序Java推理的LOOP工具的体系结构。LOOP工具将Java和JML（一种为Java量身定制的规范语言）类转换为它们在高阶逻辑中的语义。它充当定理证明器的前端，在定理证明器中对所需属性进行实际验证。此外，本文还讨论了逻辑理论生成的相关问题。
主页： http://link.springer.com/chapter/10.1007/3-540-45319-9_21
相关软件： JML公司;PVS公司;卡拉卡拉;电子稳定控制系统/Java;艾菲尔;Coq公司;凯伊;规格#;贾斯;自旋蛋白;简化;火花;哈斯克尔;落叶松;Z;JCML公司;Daikon公司;Why3号机组;Caduceus公司;莫德
引用于： 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 马里克，Huisman
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）

按年份列出的引文