艾朱利安 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） 按年份列出的引文