Partial Deduction and Driving are Equivalent
Partial Deduction and Driving are Equivalent
复制标题
部分扣除和驾驶是等效的
DOI：
10.1007/3-540-58402-1_13
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
M. Sørensen
中科院分区：
文献类型：
--
作者：
R. Glück;M. Sørensen
部分演绎和驱动分别是逻辑语言和函数语言中用于程序专门化的两种方法。我们认为这两种技术通过基于统一的信息传播实现了本质上相同的转换效果。我们通过分析部分演绎和部分驱动的定义和构造原理，以及从功能语言到保留一定性质的确定逻辑语言的翻译，证明了它们的等价性。我们讨论剩余程序的生成、终止问题，以及在逻辑和函数式语言中为程序专门化而开发的相关技术。
Partial deduction and driving are two methods used for program specialization in logic and functional languages, respectively. We argue that both techniques achieve essentially the same transformational effect by unification-based information propagation. We show their equivalence by analyzing the definition and construction principles underlying partial deduction and driving, and by giving a translation from a functional language to a definite logic language preserving certain properties. We discuss residual program generation, termination issues, and related other techniques developed for program specialization in logic and functional languages.