Author:
Carroll M. D.,Ryder B. G.
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Homeostasis: Design and Implementation of a Self-Stabilizing Compiler;ACM Transactions on Programming Languages and Systems;2024-05
2. Interactive Abstract Interpretation with Demanded Summarization;ACM Transactions on Programming Languages and Systems;2024-03-29
3. Change Pattern Detection for Optimising Incremental Static Analysis;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02
4. Result Invalidation for Incremental Modular Analyses;Lecture Notes in Computer Science;2023
5. Efficient algorithms for dynamic bidirected Dyck-reachability;Proceedings of the ACM on Programming Languages;2022-01-12