帽子

此软件的关键字
zbMATH中的参考文献(参考文献 23条 , 1标准件 )
阿普特,玛里亚; 巴利斯,黛米斯; 弗雷奇纳,旧金山; Romero,Daniel:条件重写理论的反向跟踪切片(2012) 阿普特,玛里亚; 巴利斯,黛米斯; 弗雷奇纳,旧金山; Romero,Daniel:Julienne:条件重写理论的跟踪切片器(2012) ioport公司 阿普特,玛里亚; 巴利斯,黛米斯; 埃斯波特,沙维尔; Romero,Daniel:重写逻辑理论的反向跟踪切片(2011) Braßel,Bernd:为lazy函数逻辑语言构建调试工具的技术(2009) ioport公司 奥乔亚,克劳迪奥; 席尔瓦,约瑟普; Vidal,Germanán:基于redex trails的lazy函数程序的动态切片(2008) Braßel,Bernd:解释函数逻辑计算轨迹的框架(2007) 布拉塞尔,伯纳德; 费舍尔,塞巴斯蒂安; Huch,Frank:用于跟踪函数逻辑计算的程序转换(2007) 伯纳德,布拉埃勒; 哈纳斯,迈克尔; 费舍尔,塞巴斯蒂安; 哈奇,弗兰克; 维达尔,格曼:《懒惰的价值评估》(2007) 奇蒂尔,奥拉夫; 罗勇:函数程序的迹结构与性质(2007) 德拉恩西纳,阿尔伯托; 利亚纳,路易斯; Rubio,Fernando:将调试功能引入自然语义(2007) Dennis,Louise A.:用程序切片信息增强定理证明程序接口(2007) Hanus,Michael:在函数逻辑程序中报告失败(2007) 萨迪吉,帕里萨H。; Huch,Frank:交互式Curry观察调试器iCODE(2007) ioport公司 席尔瓦,约瑟普; 维达尔,格曼:功能逻辑程序部分评价的前向切片(2007) Achten,Peter:交互式探测GUI应用程序静态特性的可行性(2005) Chitil,Olaf:基于源的跟踪勘探(2005) 德拉恩西纳,阿尔伯托; 利亚纳,路易斯; Rubio,Fernando:在Haskell规范化调试过程(2005) Nilsson,Henrik:基于广义代数数据类型的函数反应式规划的动态优化(2005) 克里斯蒂安森,一月; Huch,Frank:调试并发Haskell程序时寻找死锁(2004) 克莱森,科恩; 林西曼,科林; 奇蒂尔,奥拉夫; 休斯,约翰; Wallace,Malcolm:使用QuickCheck和Hat测试和跟踪懒惰函数程序(2003)