布拉塞尔，B。;哈纳斯，M。;Huch，F。;J.席尔瓦。;G.维达尔。 功能逻辑程序的运行时分析。 （英文） Zbl 1134.68329号 Sandro Etalle（编辑），《基于逻辑的程序合成和转换》。2004年8月26日至28日在意大利维罗纳举行的2004年LOPSTR第14届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-26655-6/pbk）。计算机科学课堂讲稿3573182-197（2005）。 摘要：在这项工作中，我们为现代函数逻辑语言引入了一个剖析方案，涵盖了懒惰、共享和非决定论等概念。首先，我们使用自然（大步）语义，以便将符号成本与每个基本操作（例如，变量更新、函数展开、案例评估）相关联。虽然这种成本语义为分析计算成本提供了一个形式化的基础，但基于它的成本增强解释器的实现将带来巨大的开销。因此，我们还引入了一种合理的转换，该转换为程序提供工具，使其在标准语义下的执行不仅产生相应的结果，还产生相关的成本。最后，我们描述了基于本文开发的分析器的原型实现。关于整个系列，请参见[Zbl 1133.68005号]. 引用于三文件 MSC公司： 68N17号 逻辑编程 68甲18 函数编程和lambda演算 软件：玩具 PDF格式BibTeX公司 XML格式引用 \textit{B.Brassel}等人，Lect。注释计算。科学。3573、182--197（2005年；Zbl 1134.68329） 全文： 内政部