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


ZBMaX中的参考文献(18篇)1标准条款

显示结果1至18的18。
按年份排序(引文

  1. Frechina,弗朗西斯科;罗梅罗,丹尼尔:JuleNe:条件改写理论的轨迹限幅器(2012)伊波尔特
  2. Frechina,弗朗西斯科,罗梅罗,丹尼尔:条件重写理论的后向轨迹切片(2012)
  3. 哈维尔,罗梅罗,丹尼尔:重写逻辑理论的后向轨迹切片(2011)
  4. Braseel,贝尔恩德:为懒惰函数逻辑语言构建调试工具的技术(2009)伊波尔特
  5. De La Encina,A.;Llana,L.;RuBiO,F:基于自然语义的调试系统(2009)
  6. BRA,贝尔恩德:解释函数逻辑计算痕迹的框架(2007)
  7. Brasel.贝尔恩德;菲舍尔,塞巴斯蒂安;HuCH,弗兰克:跟踪函数逻辑计算的程序变换(2007)
  8. Chitil,奥拉夫;罗,勇:功能程序迹线的结构与性质(2007)
  9. de la Encina,阿尔伯托;Llana,路易斯;Rubio,费尔南多:将调试能力引入自然语义(2007)
  10. Hanus,米迦勒:功能逻辑程序中的失败报告(2007)
  11. Achten,彼得:交互探索GUI应用静态特性的可行性(2005)
  12. de la Encina,阿尔伯托;Llana,路易斯;Rubio,费尔南多:Haskell(2005)中调试过程的形式化
  13. 尼尔森,亨利克:使用广义代数数据类型的函数反应规划的动态优化(2005)
  14. 克里斯琴,Jun;Huh,Frank:在调试并发Haskell程序时搜索死锁(2004)
  15. 克雷森,Koen;Runcimman,柯林;CHITIL,奥拉夫;休斯,约翰;华勒斯,马尔科姆:使用QuestChoChand和HAT(2003)测试和跟踪懒惰函数程序
  16. Chitil,奥拉夫;Runcimman,柯林;华勒斯,马尔科姆:Freja,HAT和HOND。三个跟踪和调试懒惰函数程序系统的比较评价(2001)
  17. 尼尔森,亨利克:如何看起来像忙碌一样懒惰:一个懒惰的功能调试器的实现。(2001)
  18. 帕雷哈、Crist·巴尔、Pe、李嘉图、Rubio、费尔南多、塞古拉、克拉拉:向懒惰的一元评价者添加踪迹(2001)