Sciweavers

VMCAI
2005
Springer

Abstract Interpretation with Alien Expressions and Heap Structures

14 years 6 months ago
Abstract Interpretation with Alien Expressions and Heap Structures
Bor-Yuh Evan Chang, K. Rustan M. Leino
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where VMCAI
Authors Bor-Yuh Evan Chang, K. Rustan M. Leino
Comments (0)