面向离线部分消元的多变绑定时间分析
编程语言
2007-05-23 v1 计算机科学中的逻辑
摘要
我们研究了逻辑程序的绑定时间分析概念。我们将在线部分消元系统的展开方面 formalize 为一个 Prolog 程序。使用抽象解释，我们收集有关程序运行时行为的信息。我们使用该信息在分析时间做出控制决策，以将在线系统转化为离线系统。我们报告了一些初始实验结果。
引用
@article{arxiv.cs/0003068,
title = {A Polyvariant Binding-Time Analysis for Off-line Partial Deduction},
author = {Maurice Bruynooghe and Michael Leuschel and Konstantinos Sagonas},
journal= {arXiv preprint arXiv:cs/0003068},
year = {2007}
}
备注
19 pages (including appendix) Paper (without appendix) appeared in Programming Languages and Systems, Proceedings of the European Symposium on Programming (ESOP'98), Part of ETAPS'98 (Chris Hankin, eds.), LNCS, vol. 1381, 1998, pp. 27-41