Toward Property-Driven Abstraction for Heap Manipulating Programs.

Kenneth L. McMillan

Published in: ATVA (2007)

Keyphrases

data structure
high level
computer programs
neural network
data driven
hardware designs
machine learning
learning algorithm
social networks
e learning
decision trees
case study
programming environment
fixpoint
control structures