AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

The LOOP Compiler for Java and JML

TACAS, pp.299-312, (2001)

被引用247|浏览8
EI
下载 PDF 全文
引用

摘要

This paper describes the architecture of the LOOP tool, which is used for reasoning about sequential Java. The LOOP tool translates Java and JML (a specification language tailored to Java) classes into their semantics in higher order logic. It serves as a front-end to a theorem prover in which the actual verification of the desired proper...更多

代码

数据

您的评分 :
0

 

标签
评论
小科