Haskell对象观察调试器(HOOD)是一个用于lazy函数语言Haskell的小型事后调试器。它基于观察中间数据结构的概念,而不是命令式语言调试器使用的更传统的步进和变量检查范式。


zbMATH参考文献(参考 18篇文章 参考,1标准件)

显示第1至18个结果,共18个。
按年份排序(引用)

  1. 阿普特,马利亚;巴利斯,德米斯;弗雷奇纳,弗朗西斯科;罗梅罗,丹尼尔:朱利安:条件重写理论的跟踪切片器(2012)ioport公司
  2. Alpuente,María;Ballis,Demis;Frechina,Francisco;Romero,Daniel:条件重写理论的反向跟踪切片(2012)
  3. 阿普特,马利亚;巴利斯,德米斯;埃斯波特,哈维尔;罗梅罗,丹尼尔:重写逻辑理论的反向跟踪切片(2011)
  4. Braßel,Bernd:为lazy函数逻辑语言构建调试工具的技术(2009)ioport公司
  5. De La Encina,A.;Llana,L.;Rubio,F.:基于自然语义的调试系统(2009)
  6. Braßel,Bernd:解释函数逻辑计算轨迹的框架(2007)
  7. Brassel,Bernd;Fischer,Sebastian;Huch,Frank:跟踪函数逻辑计算的程序转换(2007)
  8. Chitil,Olaf;Luo,Yong:函数程序的轨迹结构和性质(2007)
  9. de la Encina,Alberto;Llana,Luis;Rubio,Fernando:将调试功能引入自然语义(2007)
  10. Hanus,Michael:在函数逻辑程序中报告失败(2007)
  11. Achten,Peter:交互式探测GUI应用程序静态特性的可行性(2005)
  12. de la Encina,Alberto;Llana,Luis;Rubio,Fernando:正式化Haskell的调试过程(2005)
  13. Nilsson,Henrik:基于广义代数数据类型的函数反应式规划的动态优化(2005)
  14. Christiansen,Jan;Huch,Frank:调试并发Haskell程序时寻找死锁(2004)
  15. 克莱森,科恩;Runciman,Colin;Chitil,Olaf;Hughes,John;Wallace,Malcolm:使用QuickCheck和Hat测试和跟踪惰性函数程序(2003)
  16. Chitil,Olaf;Runciman,Colin;Wallace,Malcolm:Freja,Hat and Hood-跟踪和调试惰性函数程序的三个系统的比较评估(2001)
  17. Nilsson,Henrik:如何在保持懒惰的同时看起来很忙:lazy函数调试器的实现。(2001年)
  18. 克里斯托巴尔·帕雷贾;培尼亚,里卡多;鲁比奥,费尔南多;塞古拉,克拉拉:给懒惰的独身评估者添加痕迹(2001)