判定 $k$CFA 是 EXPTIME 完全的
编程语言
2013-11-25 v1
摘要
我们对 CFA 层次结构的计算复杂度给出了精确刻画。对于任意 ，我们证明了控制流判定问题对于确定性指数时间（EXPTIME）是完全的。该定理验证了此类控制流分析是难解的这一经验观察。它还提供了关于抽象解释复杂性的更一般性见解。
引用
@article{arxiv.1311.5810,
title = {Deciding $k$CFA is complete for EXPTIME},
author = {David Van Horn and Harry G. Mairson},
journal= {arXiv preprint arXiv:1311.5810},
year = {2013}
}
备注
Appeared in The 13th ACM SIGPLAN International Conference on Functional Programming (ICFP'08), Victoria, British Columbia, Canada, September 2008