Perfect Model Checking via Unfold/Fold Transformations

Perfect Model Checking via Unfold/Fold Transformations
复制标题

通过展开/折叠转换进行完美模型检查

DOI：
10.1007/3-540-44957-4_41
复制
发表时间：
2000
期刊：
Computational Logic
影响因子：
--
通讯作者：
M. Proietti
M. Proietti
中科院分区：
--
文献类型：
--
作者：
A. Pettorossi;M. Proietti

文献摘要

被引文献

相似文献

我们展示了如何使用展开/折叠程序转换技术来证明封闭的一阶公式在具有局部分层否定的逻辑程序的完美模型中成立。我们提出了一种程序转换策略，它是某些给定类别的程序和公式的决策程序。
We show how unfold/fold program transformation techniques may be used for proving that a closed first order formula holds in the perfect model of a logic program with locally stratified negation. We present a program transformation strategy which is a decision procedure for some given classes of programs and formulas.