Login / Signup
09301 Executive Summary - 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
</>
data structure
data sets
data mining
quantitative analysis
databases
computer vision
decision making
decision trees
natural language
statistical analysis
computer programs