洛佐，弗朗西斯科 Cibai：一个基于抽象解释的静态分析器，用于Java类的模块化分析和验证。（英语） Zbl 1132.68329 Cook，Byron（ed.）等人，《验证、模型检查和抽象解释》。2007年第八届国际会议，2007年1月14日至16日，法国尼斯。诉讼程序。柏林：斯普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349283-298（2007）。 小结：我们介绍了一个基于抽象解释的通用静态分析器Cibai，用于Java类的模块化分析和验证。我们提出了抽象语义和底层抽象域，一个别名分析和八角形的组合。我们讨论了一些实现问题，并将Cibai与类似工具进行了比较，展示了Cibai如何在具有可比性能的同时实现更高的自动化和精度。整个系列请参见[11368006.ZB06]. 引用于三文件 理学硕士： 68N19 其他编程范例（面向对象、顺序、并发、自动等） 68问55 计算理论中的语义学 软件：慈白;杰克;朱尼特;喀拉喀托;规格# PDF格式 双歧杆菌 XML 引用 \textit{F.Logozzo}，选择。笔记计算。科学。4349283--298（2007年；Zbl 1132.68329） 全文： 内政部