Abstract Interpretation with Alien Expressions and Heap Structures-Reference-Cited by-同舟云学术

Abstract Interpretation with Alien Expressions and Heap Structures

Published:2005 Issue: Volume: Page:147-163
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Chang Bor-Yuh Evan,Leino K. Rustan M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-30579-8_11.pdf

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 26 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. 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

2. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09

3. Fast Approximations of Quantifier Elimination;Computer Aided Verification;2023

4. Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis;Tools and Algorithms for the Construction and Analysis of Systems;2023

5. Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios;Computer Aided Verification;2021