伊朱利恩

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

此软件的关键字

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

zbMATH参考文献（参考 6篇文章 参考）

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

  1. Alpuente，M.；Ballis，D.；Sapiña，J.：通过在\textsfÁTAME系统中的项目专业化，有效实施Maude项目的安全性（2020年）
  2. alpunte，María；Ballis，Demis；Frechina，Francisco；Sapiña，Julia:通过运行时断言检查和跟踪切片调试Maude程序（2016）
  3. Alpuente，M.；Ballis，D.；Frechina，F.；Sapiña，J.：探索条件重写逻辑计算（2015）
  4. Alpuente，María；Ballis，Demis；Frechina，Francisco；Sapiña，Julia:检查重写逻辑计算（以参数化和逐步方式）（2014年）
  5. Hupel，Lars:Isabelle的交互式简化程序跟踪和调试（2014）
  6. Alpuente，María；Ballis，Demis；Frechina，Francisco；Sapiña，Julia:iJulienne重写逻辑规范的基于切片的跟踪分析（2013）ioport公司