Author:
Carroll M. D.,Ryder B. G.
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Change Pattern Detection for Optimising Incremental Static Analysis;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02
2. Result Invalidation for Incremental Modular Analyses;Lecture Notes in Computer Science;2023
3. Efficient algorithms for dynamic bidirected Dyck-reachability;Proceedings of the ACM on Programming Languages;2022-01-12
4. Cooperative verifier-based testing with CoVeriTest;International Journal on Software Tools for Technology Transfer;2021-04-25
5. Incremental and Modular Context-sensitive Analysis;Theory and Practice of Logic Programming;2021-01-19