帽子

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献23条,1标准件)

显示第1到第20个结果，共23个。
按年份排序(引用)
  1. 阿普特，玛里亚；巴利斯，黛米斯；弗雷奇纳，旧金山；Romero，Daniel:条件重写理论的反向跟踪切片（2012）
  2. 阿普特，玛里亚；巴利斯，黛米斯；弗雷奇纳，旧金山；Romero，Daniel:Julienne:条件重写理论的跟踪切片器（2012）ioport公司
  3. 阿普特，玛里亚；巴利斯，黛米斯；埃斯波特，沙维尔；Romero，Daniel:重写逻辑理论的反向跟踪切片（2011）
  4. Braßel，Bernd：为lazy函数逻辑语言构建调试工具的技术（2009）ioport公司
  5. 奥乔亚，克劳迪奥；席尔瓦，约瑟普；Vidal，Germanán:基于redex trails的lazy函数程序的动态切片（2008）
  6. Braßel，Bernd:解释函数逻辑计算轨迹的框架（2007）
  7. 布拉塞尔，伯纳德；费舍尔，塞巴斯蒂安；Huch，Frank:用于跟踪函数逻辑计算的程序转换（2007）
  8. 伯纳德，布拉埃勒；哈纳斯，迈克尔；费舍尔，塞巴斯蒂安；哈奇，弗兰克；维达尔，格曼：《懒惰的价值评估》（2007）
  9. 奇蒂尔，奥拉夫；罗勇：函数程序的迹结构与性质（2007）
  10. 德拉恩西纳，阿尔伯托；利亚纳，路易斯；Rubio，Fernando:将调试功能引入自然语义（2007）
  11. Dennis，Louise A.：用程序切片信息增强定理证明程序接口（2007）
  12. Hanus，Michael:在函数逻辑程序中报告失败（2007）
  13. 萨迪吉，帕里萨H。；Huch，Frank：交互式Curry观察调试器iCODE（2007）ioport公司
  14. 席尔瓦，约瑟普；维达尔，格曼：功能逻辑程序部分评价的前向切片（2007）
  15. Achten，Peter:交互式探测GUI应用程序静态特性的可行性（2005）
  16. Chitil，Olaf:基于源的跟踪勘探（2005）
  17. 德拉恩西纳，阿尔伯托；利亚纳，路易斯；Rubio，Fernando:在Haskell规范化调试过程（2005）
  18. Nilsson，Henrik:基于广义代数数据类型的函数反应式规划的动态优化（2005）
  19. 克里斯蒂安森，一月；Huch，Frank:调试并发Haskell程序时寻找死锁（2004）
  20. 克莱森，科恩；林西曼，科林；奇蒂尔，奥拉夫；休斯，约翰；Wallace，Malcolm:使用QuickCheck和Hat测试和跟踪懒惰函数程序（2003）