使用反向分析推断逻辑程序的终止条件
编程语言
2007-05-23 v1
摘要
本文聚焦于推断逻辑程序保证终止的模态。这推广了传统的终止分析，在传统分析中，分析器试图验证指定模态下的终止。我们的贡献是一种方法论，将传统终止分析的组件与反向分析相结合，以获得用于终止推断的分析器。我们确定了分析器组件上的一个条件，该条件保证终止推断将推断出所有可被验证为终止的模态。本文展示了该方法论的应用，即增强传统的终止分析器使其也能执行终止推断。
引用
@article{arxiv.cs/0312023,
title = {Inferring Termination Conditions for Logic Programs using Backwards Analysis},
author = {Samir Genaim and Michael Codish},
journal= {arXiv preprint arXiv:cs/0312023},
year = {2007}
}