伊朱利恩

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