艾朱利安 swMATH ID: 9903 软件作者: 马利亚阿尔普特;黛米斯·巴利斯;弗朗西斯科·弗雷奇纳;朱莉娅·萨皮娜 描述: 使用iJulienne对重写逻辑规范进行基于切片的跟踪分析。我们介绍了iJulienne,一个用于条件重写逻辑理论的跟踪分析器,可以用来计算Maude执行的抽象视图,帮助用户理解和调试程序。给定一个Maude执行跟踪和一个切片标准,该标准由一组目标符号组成,这些符号发生在跟踪的选定状态中,iJulienne能够沿着跟踪追踪反向依赖和因果关系,以增量方式生成高度简化的程序和跟踪切片,这些切片重建了交付感兴趣的符号所需的所有信息片段。iJulienne还被赋予了一种跟踪查询机制,可以提高灵活性和简化能力,并允许在适当的抽象级别上检查程序运行。 主页: http://safe-tools.dsic.upv.es/iJulienne/ 相关软件: 莫德;腹板-TLR;阿尼玛;D装货商;第3章;ABETS公司;Liquid Haskell公司;美国汽车制造商协会;ACUOS2号机组;JML公司;艾菲尔;朱丽安;伊莎贝尔/伊萨尔;GDB公司;聚乙烯/ML;jEdit(编辑);大锤;Isabelle/j编辑;PIDE公司;一般证明 引用于: 5文件 5位作者引用 4 玛丽亚·阿尔普特 4 黛米斯·巴利斯 4 朱莉娅·萨皮娜 三 Frechina,弗朗西斯科 1 拉尔斯·胡佩尔 3篇连载文章中引用 1 符号计算杂志 1 计算机科学中的数学 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 5 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文