Author:
Chang Bor-Yuh Evan,Leino K. Rustan M.
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;L. Bachmair,2000
2. Bachmair, L., Tiwari, A., Vigneron, L.: Abstract congruence closure. Journal of Automated Reasoning 31(2), 129–168 (2003)
3. Lecture Notes in Computer Science;M. Barnett,2005
4. Birkhoff, G.: Lattice Theory, volume XXV of Colloquium Publications. American Mathematical Society (1940)
5. Chang, B.-Y.E., Leino, K.R.M.: Abstract interpretation with alien expressions and heap structures. Technical Report MSR-TR-2004-115, Microsoft Research (November 2004)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compiling with Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-06-20
2. Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
3. Combining E-Graphs with Abstract Interpretation;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06
4. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09
5. Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis;Tools and Algorithms for the Construction and Analysis of Systems;2023