奥拉夫·奇蒂尔 基于源代码的跟踪探索。 （英语） Zbl 1119.68327号 Grelck，C.（编辑）等人，《函数语言的实现和应用》。2004年9月8日至10日在德国吕贝克举行的IFL 2004第16届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-26094-3/pbk）。计算机科学课堂讲稿3474126-141（2005）。 摘要：跟踪计算是程序理解和调试的关键方法。Hat是用于Haskell 98程序的跟踪系统。在计算过程中，跟踪记录在文件中；然后，用户使用一组查看工具研究跟踪。不同的观点是互补的，可以有效地结合使用。经验表明，查看工具的用户发现很难保持方向并导航到跟踪中的兴趣点。因此，本文描述了一种新的查看工具，在该工具中，轨迹的导航基于程序源。该工具结合了算法调试、传统步进调试器和动态程序切片的思想。关于整个系列，请参见[Zbl 1119.68008号]. 引用于1文件 MSC公司： 68甲18 函数编程和lambda演算 软件：哈斯克尔;帽子 PDF格式BibTeX公司 XML格式引用 \textit{O.Chitil}，莱克特。注释计算。科学。3474、126--141（2005年；Zbl 1119.68327） 全文： 内政部 链接