基于所需缩减的功能逻辑程序的专业化
摘要：在本研究中，我们介绍了这些语言中部分求值的基础知识。我们提供了基于需要狭缩的部分求值的正确性结果，并展示了这种策略的良好性质对专门化过程的重要性。特别地，部分求值保留了原始程序的结构，因此可以应用相同的评估策略来执行专门化程序。这与其他部分求值方案不同，其他方案可能会以负面方式改变程序结构。最近对声明式多范式程序的部分求值提出的建议使用（某种形式的）需要狭缩来执行部分求值时间的计算。因此，我们的结果构成了这些部分求值器正确性的基础。
作者：Maria Alpuente, Michael Hanus, Salvador Lucas, German Vidal
论文ID：cs/0403011
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23