朱丽安

Julienne:条件重写理论的跟踪切片器。跟踪切片是一种转换技术，它可以减少执行跟踪的大小，以便进行程序分析和调试。在适当使用前因的基础上，跟踪切片沿着执行轨迹跟踪反向依赖关系和因果关系，然后切断不影响跟踪中观察到的数据的无关信息。在本文中，我们描述了第一个用于条件重写理论的切片工具，它可以用来大幅度减少复杂的、文本量大的系统计算，它是一个用户定义的切片标准，它选择我们想要从给定点跟踪的数据。

zbMATH中的参考文献（参考，1标准件)

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

  1. Alpuente，María；Ballis，Demis；Frechina，Francisco；Sapiña，Julia:结合运行时检查和切片改进Maude错误诊断（2015）
  2. Alpuente，M.；Ballis，D.；Frechina，F.；Sapiña，J.：探索条件重写逻辑计算（2015）
  3. 阿普特，马利亚；巴利斯，德米斯；弗雷奇纳，弗朗西斯科；罗梅罗，丹尼尔：朱利安：条件重写理论的跟踪切片器（2012）ioport公司