强控制依赖的快速计算
数据结构与算法
2021-09-21 v1
摘要
我们提出了用于计算非终止敏感控制依赖（NTSCD）和决定性序依赖（DOD）的新算法。这些控制流图顶点上的关系具有许多应用，包括程序切片和编译器优化。我们的算法在渐近意义上快于现有算法。我们还表明，原有的用于计算 NTSCD 和 DOD 的算法可能产生不正确的结果。我们实现了新的以及修正后的原有算法用于计算 NTSCD 和 DOD，并通过实验比较了它们的性能与结果。我们的算法大幅优于原有算法。
引用
@article{arxiv.2011.01564,
title = {Fast Computation of Strong Control Dependencies},
author = {Marek Chalupa and David Klaška and Jan Strejček and Lukáš Tomovič},
journal= {arXiv preprint arXiv:2011.01564},
year = {2021}
}