优化离线部分求值中的大小变化分析
摘要：可扩展离线部分计算逻辑程序的一些最新方法包括利用大小变化分析来确保所谓的本地和全局终止。在这项工作中，我们受到实验评估的启发，引入了几个改进措施，可以提高分析的准确性，从而提高相关专门化程序的质量。我们的目标是在保持相同的复杂性和可扩展性的同时实现这一目标。
作者：Michael Leuschel and Salvador Tamarit and German Vidal
论文ID：0903.2202
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-03-13