芙蕾雅

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