逻辑程序分析与专化的通用框架
编程语言
2007-05-23 v1 软件工程
摘要
抽象解释与部分消解之间的关系引起了广泛关注，（部分）集成从抽象解释和部分消解的角度均已提出。本文我们提出我们认为是第一个被完整描述的高效且精确地集成抽象解释与部分消解的通用算法。以最先进的面向语境敏感、多变抽象解释和（抽象）部分消解算法为起点，我们提出一种算法，将两者的优势结合在一起。关键要素包括抽象解释所固有的准确的成功传播，以及部分消解所实现的强大程序转换。在我们的算法中，分析图中出现的调用相对于原始程序定义进行分析，而是针对这些程序的专化定义进行分析。通过应用展开和抽象可达性，获得这些专化定义。我们的框架对不同的控制策略和抽象域是参数化的。不同参数的组合对应于现有的程序分析和专化算法。同时，我们的方法使得能够高效计算比各个技术单独实现的更精确的结果成为可能。该算法现已是 CiaoPP 分析和专化系统的一个关键组件。
引用
@article{arxiv.cs/0508111,
title = {A Generic Framework for the Analysis and Specialization of Logic Programs},
author = {German Puebla and Elvira Albert and Manuel Hermenegildo},
journal= {arXiv preprint arXiv:cs/0508111},
year = {2007}
}
备注
In A. Serebrenik and S. Munoz-Hernandez (editors), Proceedings of the 15th Workshop on Logic-based methods in Programming Environments October 2005, Sitges. cs.PL/0508078