×

功能逻辑程序的成本加成部分评估。 (英语) Zbl 1075.68010号

摘要:我们通过符号代价的计算改进了惰性函数逻辑程序的窄驱动部分求值方案。增强的方案允许我们在一个精确的框架中估计程序转换器的影响,而且还可以量化这些影响。考虑到的成本是象征性的,因为它们衡量的是计算期间执行的基本操作的数量,而不是实际执行时间。我们的方案可以作为开发加速分析和成本导向变压器的基础。在多范式语言Curry中实现了一个成本增加的部分评估器,它证明了我们方法的有用性。

MSC公司:

68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部