×

兹马思-数学第一资源

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 引用
全文: 内政部