×
伯恩德·布拉埃尔

解释函数逻辑计算轨迹的框架。 （英语） Zbl 1279.68037号

López Fraguas，Francisco J.（编辑），第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006），西班牙马德里，2006年11月16日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记177，91-106（2007）。
摘要：本文是函数逻辑语言调试综合方法的一部分。整个项目的基本思想是通过副作用跟踪功能逻辑程序的执行，然后对记录的数据给出不同的观点。通过这种方式，众所周知的调试技术，如声明性调试、表达式观察、redex跟踪，以及逐步调试和面向成本中心的符号评测，都可以作为记录数据的特殊视图来实现。此外，为特殊调试目的创建新视图应该很容易实现。这就是这项工作的贡献所在。我们描述了如何解释和预处理记录的数据，以产生一个极其简单但通用的接口来建立不同的视图。例如，使用这个接口，制定声明性调试的基本功能只需几行即可。
有关整个系列，请参见[Zbl 1275.68023号].

MSC公司：

68N17号 逻辑编程
68甲18 函数编程和lambda演算

关键词：

调试;功能逻辑编程

软件：

欧兹;芙蕾雅;玩具;茶包;帽子;罩;PAKCS公司
PDF格式BibTeX公司 XML格式引用
\textit{B.Braßel}，电子。理论注释。计算。科学。177、91——106（2007年；Zbl 1279.68037）
全文： 内政部

参考文献：

[1] 艾伯特·E。；哈努斯，M。；Huch，F.等人。；奥利弗·J。；Vidal，G.，声明性多仿射语言的操作语义，符号计算杂志，40795-829（2005）·Zbl 1129.68042号
[2] Antoy，S.、M.Hanus、J.Liu和A.Tolmach，用于函数逻辑计算的虚拟机程序。第十六届函数式语言实施与应用国际研讨会（IFL 2004）；Antoy，S.、M.Hanus、J.Liu和A.Tolmach，用于函数逻辑计算的虚拟机程序。第十六届函数式语言实施与应用国际研讨会（IFL 2004）·Zbl 1119.68326号
[3] Antoy，S.和S.Johnson，Teabag：函数逻辑语言调试器程序。第十三届函数和（约束）逻辑编程国际研讨会（WFLP 2004）；Antoy，S.和S.Johnson，Teabag：函数逻辑语言调试器程序。第十三届函数和（约束）逻辑编程国际研讨会（WFLP 2004）·Zbl 1090.68504号
[4] Booth，S.P.和S.B.Jones，回溯到幸福——通过时间旅行调试第三届自动调试国际研讨会（AADEBUG）会议记录；Booth，S.P.和S.B.Jones，回溯到幸福——通过时间旅行调试第三届自动调试国际研讨会（AADEBUG）会议记录
[5] Braßel，B.、O.Chitil、M.Hanus和F.Huch，观察功能逻辑计算程序。第六届声明性语言实践问题国际研讨会（PADL’04）；Braßel，B.、O.Chitil、M.Hanus和F.Huch，观察函数逻辑计算程序。第六届声明性语言实践方面国际研讨会（PADL'04）
[6] Brassel，B.、S.Fischer和F.Huch，跟踪函数逻辑计算的程序转换基于逻辑的程序合成与转换国际研讨会（LOPSTR'06）的前期工作；Brassel，B.、S.Fischer和F.Huch，跟踪函数逻辑计算的程序转换基于逻辑的程序合成与转换国际研讨会（LOPSTR'06）的前期工作·Zbl 1196.68038号
[7] Braßel，B.、S.Fischer和F.Huch，跟踪函数逻辑计算的程序转换基于逻辑的程序合成与转换国际研讨会（LOPSTR'06）的前期工作；Braßel、B.、S.Fischer和F.Huch，跟踪函数逻辑计算的程序转换基于逻辑的程序合成与转换国际研讨会（LOPSTR'06）的前期工作·Zbl 1196.68038号
[8] Braßel，B.、M.Hanus、F.Huch、J.Silva和G.Vidal，功能逻辑程序的运行时评测基于逻辑的程序合成与转换国际研讨会论文集（LOPSTR'04）；Braßel，B.、M.Hanus、F.Huch、J.Silva和G.Vidal，功能逻辑程序的运行时评测基于逻辑的程序合成与转换国际研讨会论文集（LOPSTR'04）·Zbl 1134.68329号
[9] Braßel，B.、M.Hanus、F.Huch和G.Vidal，一种用于跟踪声明性多参数程序的语义第六届ACM SIGPLAN声明性编程原则与实践国际会议记录（PPDP'04）；Braßel，B.、M.Hanus、F.Huch和G.Vidal，一种用于跟踪声明性多参数程序的语义第六届ACM SIGPLAN声明性编程原则与实践国际会议记录（PPDP'04）
[10] 卡巴列罗、R.和M.罗德里格斯-阿塔莱霍，Ddt：函数逻辑语言的声明性调试工具第七届函数与逻辑编程国际研讨会会议记录（FLOPS 2004）；卡巴列罗、R.和M.罗德里格斯-阿塔莱霍，Ddt：函数逻辑语言的声明性调试工具第七届函数与逻辑编程国际研讨会会议记录（FLOPS 2004）·Zbl 1122.68366号
[11] Cameron，M.、M.García de la Banda、K.Marriott和P.Moulder，Vimer：水银的可视化调试器第八届ACM SIGPLAN声明式编程原理与实践国际会议论文集（PPDP'03）；Cameron，M.、M.García de la Banda、K.Marriott和P.Moulder，Vimer：汞的可视化调试器第八届ACM SIGPLAN声明性编程原理与实践国际会议记录（PPDP'03）
[12] Chitil，O.、C.Runciman和M.Wallace，Freja、hat和hood——对三种用于跟踪和调试惰性函数程序的系统的比较评估程序。第十二届函数式语言实施国际研讨会（IFL 2000）；Chitil，O.、C.Runciman和M.Wallace，Freja、hat和hood——对三种用于跟踪和调试惰性函数程序的系统的比较评估程序。第十二届函数式语言实施国际研讨会（IFL 2000）·Zbl 0977.68818号
[13] 德尔瓦多·维塞达（del Vado Virseda，R.）。，具有重叠定义树的需求驱动的窄化演算第八届ACM SIGPLAN声明式编程原理与实践国际会议论文集（PPDP'03）；德尔瓦多·维塞达（del Vado Virseda，R.）。，具有重叠定义树的需求驱动的窄化演算第八届ACM SIGPLAN声明性编程原理与实践国际会议记录（PPDP'03）·Zbl 1147.68430号
[14] Ennals，R。；Peyton Jones，S.，Hsdebug:通过不懒惰来调试懒惰程序（2003）
[15] Gill，A.，通过观察中间数据结构调试Haskell，理论计算机科学电子笔记，41（2001）
[16] J.González-Moreno。；Hortalá-González，M。；洛佩斯·弗拉瓜斯，F。；Rodríguez-Artalejo，M.，基于重写逻辑的声明式编程方法，《逻辑编程杂志》，40，47-87（1999）·Zbl 0942.68060号
[17] 哈纳斯，M。；Antoy，S。；布拉埃尔（Braßel，B.）。；恩格尔克，M。；Höppner，K。；Koj，J。；尼德劳，P。；Sadre，R。；Steiner，F.，PAKCS：波特兰-亚琛-基尔咖喱体系（2006）
[18] 哈纳斯（编辑），M。，Curry：集成函数逻辑语言（版本0.8.2）http://www.informatik.uni-kiel.de/咖喱；哈纳斯（编辑），M。，Curry:一种集成的函数逻辑语言（版本0.8.2）http://www.informatik.uni-kiel.de/咖喱
[19] Huch，F.和P.H.Sadeghi，交互式Curry观测调试器COOiSY第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006）；Huch，F.和P.H.Sadeghi，交互式Curry观测调试器COOiSY第十五届函数和（约束）逻辑编程研讨会论文集（WFLP 2006）
[20] López-Fraguas，F.和J.Sánchez-Hernández，TOY：多参数声明系统程序。RTA’99的；López-Fraguas，F.和J.Sánchez-Hernández，TOY：多参数声明系统程序。RTA'99的
[21] Lorenz，B.，“Ein Debugger für Oz”，硕士论文，Fachbereich Informatik，Saarlandes大学（1999）；Lorenz，B.，“Ein Debugger für Oz”，硕士论文，Fachbereich Informatik，Saarlandes大学（1999）
[22] 尼尔森，H。；Fritzson，P.，惰性函数语言的算法调试，函数编程杂志，4337-370（1994）
[23] 尼尔森，H。；Sparud，J.，《评估依赖树作为懒惰功能调试的基础》，自动化软件工程，4121-150（1997）
[24] （Peyton Jones，S.，Haskell 98语言和图书馆——修订报告（2003），剑桥大学出版社）·Zbl 1067.68041号
[25] Sansom，P。；Peyton Jones，S.，《高阶函数语言的形式化评测》，《程序设计语言和系统的ACM事务》，第19期，第334-385页（1997年）
[26] Shapiro，E.，《算法程序调试》（1983），麻省理工学院出版社：麻萨诸塞州剑桥
[27] Smolka，G.，《oz编程模型》（van Leeuwen，J.，《今日计算机科学：最新趋势和发展》（1995）），第324-343页
[28] Somogyi，Z.和F.Henderson，汞的设计和实施；Somogyi，Z.和F.Henderson，汞的设计和实施·Zbl 0966.68030号
[29] 斯巴鲁、J.和C.Runciman，使用Redex轨迹跟踪惰性函数计算程序。第九届国际交响乐团。关于编程语言、实现、逻辑和程序（PLILP’97）；斯巴鲁、J.和C.Runciman，使用Redex轨迹跟踪惰性函数计算程序。第九届国际交响乐团。关于程序设计语言、实现、逻辑和程序（PLILP'97）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。