帽子

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


zbMATH参考文献(参考 23篇文章 引用,1标准件)

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. Alpuente,María;Ballis,Demis;Frechina,Francisco;Romero,Daniel:条件重写理论的反向跟踪切片(2012)
  2. 阿普特,马利亚;巴利斯,德米斯;弗雷奇纳,弗朗西斯科;罗梅罗,丹尼尔:朱利安:条件重写理论的跟踪切片器(2012)ioport公司
  3. 阿普特,马利亚;巴利斯,德米斯;埃斯波特,哈维尔;罗梅罗,丹尼尔:重写逻辑理论的反向跟踪切片(2011)
  4. Braßel,Bernd:为lazy函数逻辑语言构建调试工具的技术(2009)ioport公司
  5. Ochoa,Claudio;Silva,Josep;Vidal,germanán:基于redex trails的lazy函数程序的动态切片(2008)
  6. Braßel,Bernd:解释函数逻辑计算轨迹的框架(2007)
  7. Brassel,Bernd;Fischer,Sebastian;Huch,Frank:跟踪函数逻辑计算的程序转换(2007)
  8. Braßel,Bernd;Hanus,Michael;Fischer,Sebastian;Huch,Frank;Vidal,Germanán:通过价值评估的懒惰呼叫(2007)
  9. Chitil,Olaf;Luo,Yong:函数程序的轨迹结构和性质(2007)
  10. de la Encina,Alberto;Llana,Luis;Rubio,Fernando:将调试功能引入自然语义(2007)
  11. Dennis,Louise A.:用程序切片信息增强定理证明程序接口(2007)
  12. Hanus,Michael:在函数逻辑程序中报告失败(2007)
  13. Sadeghi,Parissa H.;Huch,Frank:交互式Curry观察调试器iCODE(2007)ioport公司
  14. Silva,Josep;Vidal,Germanán:通过部分评估对函数逻辑程序的正向切片(2007)
  15. Achten,Peter:交互式探测GUI应用程序静态特性的可行性(2005)
  16. Chitil,Olaf:基于源的跟踪勘探(2005)
  17. de la Encina,Alberto;Llana,Luis;Rubio,Fernando:正式化Haskell的调试过程(2005)
  18. Nilsson,Henrik:基于广义代数数据类型的函数反应式规划的动态优化(2005)
  19. Christiansen,Jan;Huch,Frank:调试并发Haskell程序时寻找死锁(2004)
  20. 克莱森,科恩;Runciman,Colin;Chitil,Olaf;Hughes,John;Wallace,Malcolm:使用QuickCheck和Hat测试和跟踪惰性函数程序(2003)