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 

• Type: Journal
• Year: 2010
• Where: OOPSLA
• Authors: Isil Dillig, Thomas Dillig, Alex Aiken
• Keywords: Aiken Symbolic Heap, Demand-Driven Axiomatization, Heap Abstraction, OOPSLA 2010, Security Privacy