芙蕾雅

Freja,Hat和Hood-跟踪和调试lazy函数程序的三个系统的比较评估。本文比较了三种跟踪和调试Haskell程序的系统:Freja、Hat和Hood。我们通过将它们应用于一些中等复杂的程序(其中故意引入错误)来评估它们在实践中的有用性。我们确定每个系统的优缺点,然后形成如何进一步改进系统的想法。


zbMATH中的参考文献(参考文献17条,1标准件)

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

  1. 阿普特,玛里亚;巴利斯,黛米斯;弗雷奇纳,旧金山;Romero,Daniel:条件重写理论的反向跟踪切片(2012)
  2. 阿普特,玛里亚;巴利斯,黛米斯;弗雷奇纳,旧金山;Romero,Daniel:Julienne:条件重写理论的跟踪切片器(2012)ioport公司
  3. 阿普特,玛里亚;巴利斯,黛米斯;埃斯波特,沙维尔;Romero,Daniel:重写逻辑理论的反向跟踪切片(2011)
  4. Braßel,Bernd:为lazy函数逻辑语言构建调试工具的技术(2009)ioport公司
  5. Braßel,Bernd:解释函数逻辑计算轨迹的框架(2007)
  6. 布拉塞尔,伯纳德;费舍尔,塞巴斯蒂安;Huch,Frank:用于跟踪函数逻辑计算的程序转换(2007)
  7. 奇蒂尔,奥拉夫;罗勇:函数程序的迹结构与性质(2007)
  8. 德拉恩西纳,阿尔伯托;利亚纳,路易斯;Rubio,Fernando:将调试功能引入自然语义(2007)
  9. Hanus,Michael:在函数逻辑程序中报告失败(2007)
  10. Achten,Peter:交互式探测GUI应用程序静态特性的可行性(2005)
  11. 德拉恩西纳,阿尔伯托;利亚纳,路易斯;Rubio,Fernando:在Haskell规范化调试过程(2005)
  12. Nilsson,Henrik:基于广义代数数据类型的函数反应式规划的动态优化(2005)
  13. 克里斯蒂安森,一月;并发程序搜索(Frank Haskell 2004)
  14. 克莱森,科恩;林西曼,科林;奇蒂尔,奥拉夫;休斯,约翰;使用lazy-tracing和colm进行功能测试(Wallace-2003和colm)
  15. 奇蒂尔,奥拉夫;林西曼,科林;Wallace,Malcolm:Freja,Hat and Hood-跟踪和调试懒惰函数程序的三个系统的比较评估(2001)
  16. Nilsson,Henrik:如何在保持懒惰的同时看起来很忙:lazy函数调试器的实现。(2001年)
  17. 帕雷贾,克里斯托巴尔;培尼亚,里卡多;鲁比奥,费尔南多;克拉拉,塞古拉:给懒惰的单体计算器添加痕迹(2001)