Precise Interprocedural Analysis in the Presence of Pointers to the Stack.

Pascal Sotin Bertrand Jeannet

Published in: ESOP (2011)

Keyphrases

high quality
artificial intelligence
preprocessing
data analysis
search algorithm
learning environment
control system
data model
trade off
object recognition
multi agent systems
database
bayesian networks
training data
website
computer vision
information retrieval
machine learning