Advances in Artificial Intelligence
Advances in Artificial Intelligence
复制标题
人工智能的进步
DOI：
10.1007/978-3-642-25324-9_1
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Hoder K
中科院分区：
文献类型：
--
作者：
Hoder K
自动理解计算机程序的预期含义是一个非常困难的问题，需要智能和推理。在本文中，我们评估了一种程序分析方法，称为符号消去法，它使用一阶定理证明技术来自动发现非平凡的程序性质。我们讨论了该方法的实现细节，给出了实验结果，并讨论了由我们的实现获得的程序性质与实验中使用的程序的预期意义之间的关系。
Automatic understanding of the intended meaning of computer programs is a very hard problem, requiring intelligence and reasoning. In this paper we evaluate a program analysis method, called symbol elimination, that uses first-order theorem proving techniques to automatically discover non-trivial program properties. We discuss implementation details of the method, present experimental results, and discuss the relation of the program properties obtained by our implementation and the intended meaning of the programs used in the experiments.