Publisher
Springer International Publishing
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Quick call path generation for program analysis;Third International Symposium on Computer Applications and Information Systems (ISCAIS 2024);2024-07-11
2. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11
3. A Correctness and Incorrectness Program Logic;Journal of the ACM;2023-03-25
4. Local Completeness in Abstract Interpretation;Intelligent Systems Reference Library;2023
5. Abstract Interpretation: From 0, 1, to $$\infty $$;Intelligent Systems Reference Library;2023