Login / Signup
09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs.
Mooly Sagiv
Arnd Poetzsch-Heffter
Peter W. O'Hearn
Published in:
Typing, Analysis and Verification of Heap-Manipulating Programs (2009)
Keyphrases
</>
formal analysis
database
knowledge base
information technology
document collections
data sets
databases
digital libraries
programming language