伯恩德·布拉塞尔;塞巴斯蒂安·费舍尔;弗兰克，哈 用于跟踪函数逻辑计算的程序转换。 （英语） Zbl 1196.68038号 Puebla，Germanán（编辑），基于逻辑的程序合成和转换。2006年7月12日至14日在意大利威尼斯举行的2006年LOPSTR第16届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-71409-5/pbk）。计算机科学课堂讲稿4407160-176（2007）。 摘要：跟踪程序执行是一种很有前途的技术，可以发现惰性函数逻辑程序中的错误。在之前的工作中，我们为函数逻辑语言开发了一个基于堆的语义扩展，它生成反映程序计算的跟踪。这个扩展也是通过为函数逻辑程序插入解释器来原型实现的。由于该解释器对实际应用的限制太大，我们开发了一个程序转换，它可以在计算过程中通过副作用有效地计算轨迹。本文介绍了我们的程序转换。关于整个系列，请参见[兹比尔1116.68007]. 引用于2文件 MSC公司： 68甲18 函数编程和lambda演算 68N17号 逻辑编程 软件：罩;玩具;帽子;茶包;芙蕾雅 PDF格式BibTeX公司 XML格式引用 \textit{B.Brassel}等人，Lect。注释计算。科学。4407、160--176（2007年；Zbl 1196.68038） 全文： 内政部