帽子

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


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。;Frank Hude interactive debugger(2007年《交互式调试器》)ioport公司
  14. 席尔瓦,约瑟普;维达尔,格曼:功能逻辑程序部分评价的前向切片(2007)
  15. Achten,Peter:交互式探测GUI应用程序静态特性的可行性(2005)
  16. Chitil,Olaf:基于源的跟踪勘探(2005)
  17. 德拉恩西纳,阿尔伯托;利亚纳,路易斯;Rubio,Fernando:在Haskell规范化调试过程(2005)
  18. Nilsson,Henrik:基于广义代数数据类型的函数反应式规划的动态优化(2005)
  19. 克里斯蒂安森,一月;并发程序搜索(Frank Haskell 2004)
  20. 克莱森,科恩;林西曼,科林;奇蒂尔,奥拉夫;休斯,约翰;使用lazy-tracing和colm进行功能测试(Wallace-2003和colm)