Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability;Proceedings of the ACM on Programming Languages;2024-01-05
2. Efficient algorithms for dynamic bidirected Dyck-reachability;Proceedings of the ACM on Programming Languages;2022-01-12
3. Synergistic Analysis of Evolving Graphs;ACM Transactions on Architecture and Code Optimization;2016-12-28
4. Incremental Points-to Analysis for Java via Edit Propagation;Structured Object-Oriented Formal Language and Method;2015
5. Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes;Proceedings of the 36th International Conference on Software Engineering;2014-05-31