帽子 swMATH ID: 13679 软件作者: 奥拉夫·奇蒂尔;科林·伦西曼(Colin Runciman);马尔科姆·华莱士 描述: Hat是编程语言Haskell的源代码级跟踪程序。Hat允许访问有关计算的详细信息,否则是不可见的信息。Hat有助于查找程序中的错误。此外,它有助于理解(正确的)程序是如何工作的,特别是对于教学和程序维护。Hat不是时间或空间探查器。Hat可用于正常终止、以错误消息终止或被程序员中断时终止的程序。 主页: http://projects.haskell.org/hat/ 相关软件: 罩;芙蕾雅;哈斯克尔;玩具;PAKCS公司;莫德;腹板-TLR;茶包;FranTk公司;亚姆帕;GHC公司;TK公司;欧兹;咖喱;Lambda-Clam公司;一般证明;伊萨尔;IsaPlanner公司;伊莎贝尔/霍尔;朱丽安 引用于: 20文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 Freja、Hat和Hood—对三个用于跟踪和调试惰性功能程序的系统进行比较评估。 Zbl 0977.68818号奥拉夫·奇蒂尔;科林·伦西曼;马尔科姆·华莱士 2001 全部的 前5名27位作者引用 4 奥拉夫·奇蒂尔 三 伯恩德·布拉埃尔 三 弗兰克,哈 三 费尔南多·鲁比奥 三 德国维达尔 2 玛丽亚·阿尔普特 2 黛米斯·巴利斯 2 阿尔贝托·德拉·恩西纳 2 塞巴斯蒂安·费舍尔 2 迈克尔·哈纳斯 2 路易斯·利亚纳 2 亨利克·尼尔森 2 丹尼尔·罗梅罗(Daniel M.Romero)。 2 科林·伦西曼 2 乔塞普·席尔瓦 2 马尔科姆·华莱士 1 彼得·阿克滕 1 简·克里斯蒂安森 1 科恩·克莱森 1 Louise Abigail丹尼斯 1 哈维尔·埃斯佩特 1 弗朗西斯科·弗雷奇纳 1 罗勇 1 克劳迪奥·奥乔亚 1 克里斯托巴尔·帕雷加 1 里卡多·佩纳 1 克拉拉·塞古拉 3篇连载文章中引用 1 函数编程杂志 1 高阶与符号计算 1 逻辑程序设计理论与实践 在2个字段中引用 20 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文