通过部分消解实现逻辑程序专化：控制问题
编程语言
2007-05-23 v1 人工智能
摘要
程序专化旨在通过源代码到源代码的转换来提高程序的整体性能。函数式和逻辑编程中的一种常见方法，分别称为部分评估和部分消解，就是利用对输入的部分已知信息。它通过对布法特-达尔林顿展开/折叠转换框架中部分自动化应用来实现。开发系统的主要挑战在于设计自动控制，以确保正确性、效率和终止。本文对过去十年来控制部分消解的主要进展进行了调查和教程，并分析了它们的各自优势和不足。本文以评估当前成就并勾勒一些剩余研究挑战为结尾。
引用
@article{arxiv.cs/0202012,
title = {Logic program specialisation through partial deduction: Control issues},
author = {Michael Leuschel and Maurice Bruynooghe},
journal= {arXiv preprint arXiv:cs/0202012},
year = {2007}
}
备注
To appear in Theory and Practice of Logic Programming