Using ZBDDs in Points-to Analysis.

Ondrej Lhoták Stephen Curial José Nelson Amaral

Published in: LCPC (2007)

Keyphrases

machine learning
information systems
decision trees
image analysis
search engine
knowledge base
web services
multiscale
objective function
multi agent
dynamic programming
statistical analysis
endpoints