帽子

HAT是编程语言Haskell的源级示踪剂。HAT可以访问关于计算的详细信息，否则是不可见的。HAT有助于定位程序中的错误。此外，它有助于理解一个（正确的）程序是如何工作的，特别是对于教学和程序维护。HAT不是时间或空间分析器。HAT可用于正常终止的程序，该程序终止于错误消息，或被程序员中断时终止。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（23篇）1标准条款）

显示结果1至20的23。
按年份排序（引文）
  1. Frechina，弗朗西斯科，罗梅罗，丹尼尔：条件重写理论的后向轨迹切片（2012）
  2. Frechina，弗朗西斯科；罗梅罗，丹尼尔：JuleNe:条件改写理论的轨迹限幅器（2012）伊波尔特
  3. 哈维尔，罗梅罗，丹尼尔：重写逻辑理论的后向轨迹切片（2011）
  4. Braseel，贝尔恩德：为懒惰函数逻辑语言构建调试工具的技术（2009）伊波尔特
  5. 奥乔亚，克劳迪奥；席尔瓦，Josep；维达尔，GeaMnn:基于Read Traces的懒惰函数程序的动态切片（2008）
  6. BRA，贝尔恩德：解释函数逻辑计算痕迹的框架（2007）
  7. Brasel.贝尔恩德；菲舍尔，塞巴斯蒂安；HuCH，弗兰克：跟踪函数逻辑计算的程序变换（2007）
  8. 《胸罩》、《贝尔恩德》、《Hanus、米迦勒》、《菲舍尔、塞巴斯蒂安》、《休斯》、《弗兰克》、《生殖器》：价值评价偷懒呼唤（2007）
  9. Chitil，奥拉夫；罗，勇：功能程序迹线的结构与性质（2007）
  10. de la Encina，阿尔伯托；Llana，路易斯；Rubio，费尔南多：将调试能力引入自然语义（2007）
  11. 丹尼斯，Louise A.：用程序切片信息增强定理证明器接口（2007）
  12. Hanus，米迦勒：功能逻辑程序中的失败报告（2007）
  13. 萨德吉，帕丽莎H；HuCh，弗兰克：交互式咖喱观察调试器ICODE（2007）伊波尔特
  14. 席尔瓦，Josep；维达尔，GeaMnN:功能逻辑程序的部分切分（2007）
  15. Achten，彼得：交互探索GUI应用静态特性的可行性（2005）
  16. Chitil，奥拉夫：溯源探勘（2005）
  17. de la Encina，阿尔伯托；Llana，路易斯；Rubio，费尔南多：Haskell（2005）中调试过程的形式化
  18. 尼尔森，亨利克：使用广义代数数据类型的函数反应规划的动态优化（2005）
  19. 克里斯琴，Jun；Huh，Frank：在调试并发Haskell程序时搜索死锁（2004）
  20. 克雷森，Koen；Runcimman，柯林；CHITIL，奥拉夫；休斯，约翰；华勒斯，马尔科姆：使用QuestChoChand和HAT（2003）测试和跟踪懒惰函数程序