伊朱利恩

基于切片的iJulienne重写逻辑规范的跟踪分析。我们介绍了iJulienne，一个用于条件重写逻辑理论的跟踪分析器，可以用来计算Maude执行的抽象视图，帮助用户理解和调试程序。给定一个Maude执行跟踪和一个切片标准，其中包含一组在跟踪的选定状态中出现的目标符号，iJulienne能够沿着跟踪追踪追溯反向依赖关系和因果关系，以便逐步生成高度简化的程序和跟踪切片，这些切片重建所有且仅重建传递感兴趣符号所需的信息片段。iJulienne还具有一种跟踪查询机制，该机制可以提高灵活性和降低功耗，并允许在适当的抽象级别上检查程序运行。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献6条)

显示结果1到6，共6个。
按年份排序(引用)

  1. 阿尔普特，M。；巴利斯，D。；萨皮ña、 J.：Maude项目的高效安全执行通过\textsf中的程序专业化ÁTAME系统（2020）
  2. 阿普特，马尔ía；巴利斯，黛米斯；弗雷奇纳，旧金山；萨皮ña、 朱莉娅：通过运行时断言检查和跟踪切片调试Maude程序（2016）
  3. 阿尔普特，M。；巴利斯，D。；弗雷奇纳，F。；萨皮ña、 探索逻辑：条件重写（J）
  4. 阿普特，马尔ía；巴利斯，黛米斯；弗雷奇纳，旧金山；萨皮ña、 朱莉娅：检查重写逻辑计算（以参数和逐步的方式）（2014年）
  5. Hupel，Lars:Isabelle的交互式简化程序跟踪和调试（2014）
  6. 阿普特，马尔ía；巴利斯，黛米斯；弗雷奇纳，旧金山；萨皮ña、 Julia:iJulienne重写逻辑规范的基于切片的跟踪分析（2013）ioport公司