Automatic Inference of Heap Properties Exploiting Value Domains.

Pietro Ferrara Peter Müller Milos Novácek

Published in: VMCAI (2015)

Keyphrases

data structure
fully automatic
real world
application domains
semi automatic
bayesian networks
belief networks
structural properties
probabilistic inference
bayesian inference
desirable properties
data sets
genetic algorithm
artificial intelligence
relational databases