Abstract Interpretation with Alien Expressions and Heap Structures.

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

Browse the full VMCAI paper archive.