德国维达尔 功能逻辑程序的成本加成部分评估。 (英语) Zbl 1075.68010号 高-订购符号。计算。 17,编号1-2,7-46(2004). 摘要:我们通过符号代价的计算改进了惰性函数逻辑程序的窄驱动部分求值方案。增强的方案允许我们在一个精确的框架中估计程序转换器的影响,而且还可以量化这些影响。考虑到的成本是象征性的,因为它们衡量的是计算期间执行的基本操作的数量,而不是实际执行时间。我们的方案可以作为开发加速分析和成本导向变压器的基础。在多范式语言Curry中实现了一个成本增加的部分评估器,它证明了我们方法的有用性。 引用于2文件 MSC公司: 68N17号 逻辑编程 关键词:部分评估;计算成本;功能逻辑编程 软件:内核-叶;巴贝尔 PDF格式BibTeX公司 XML格式引用 \textit{G.维达尔},高-订购符号。计算。17,第1-2,7-46号(2004年;兹bl 1075.68010) 全文: 内政部