朱丽安

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公司