Reference

2005

• detail
• pdf
• ps

Abstract Interpretation with Alien Expressions and Heap Structures

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

VMCAI 2005: International Conference on Verification, Model Checking, and Abstract Interpretation

Extended Version: Technical Report (MSR-TR-2004-115)

BibTeX

@string{VMCAI = "International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)"}
@inproceedings{alien-vmcai05,
  author = {Bor-Yuh Evan ChangK. Rustan M. Leino},
  title = {Abstract Interpretation with Alien Expressions and Heap Structures},
  booktitle = VMCAI,
  year = {2005},
  pages = {147-163},
  
}