Scalable Specification and Reasoning: Challenges for Program Logic
Scalable Specification and Reasoning: Challenges for Program Logic
复制标题
可扩展的规范和推理：程序逻辑的挑战
DOI：
10.1007/978-3-540-69149-5_14
复制
发表时间：
2005
影响因子：
1.1
通讯作者：
P. O'Hearn
中科院分区：
文献类型：
--
作者：
P. O'Hearn
如果程序验证工具要被广泛使用，它们以模块化方式工作是至关重要的。否则，核查将无法扩大规模。本文讨论了这对程序逻辑研究提出的科学挑战。描述了最近在分离逻辑方面的一些工作，并提出了一些测试问题，这些问题将有助于衡量模块推理的进展。
If program verification tools are ever to be used widely, it is essential that they work in a modular fashion. Otherwise, verification will not scale. This paper discusses the scientific challenges that this poses for research in program logic. Some recent work on separation logic is described, and test problems that would be useful in measuring advances on modular reasoning are suggested.
DOI：
10.1145/964001.964024
发表时间：
2004-01
期刊：
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
影响因子：
--
作者：
P. O'Hearn;Hongseok Yang;J. C. Reynolds
通讯作者：
P. O'Hearn;Hongseok Yang;J. C. Reynolds
DOI：
10.1145/1190216.1190249
发表时间：
2007-01
期刊：
--
影响因子：
--
作者：
Josh Berdine;A. Chawdhary;B. Cook;Dino Distefano;P. O'Hearn
通讯作者：
Josh Berdine;A. Chawdhary;B. Cook;Dino Distefano;P. O'Hearn