Sciweavers

Share
OOPSLA
2010
Springer

Symbolic heap abstraction with demand-driven axiomatization of memory invariants

8 years 8 months ago
Symbolic heap abstraction with demand-driven axiomatization of memory invariants
Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants Isil Dillig Thomas Dillig Alex Aiken Stanford University lig Thomas Dillig Alex Aiken Symbolic Heap Abstraction with Demand-Driven Axiomatization
Isil Dillig, Thomas Dillig, Alex Aiken
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where OOPSLA
Authors Isil Dillig, Thomas Dillig, Alex Aiken
Comments (0)
books