Reference

2005
Abstract Interpretation with Alien Expressions and Heap Structures
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},
  
}