Strictly declarative specification of sophisticated points-to analyses.

Martin Bravenboer Yannis Smaragdakis

Published in: OOPSLA (2009)

Keyphrases

high level
database
real world
point sets
artificial intelligence
feature points
neural network
bayesian networks
knowledge representation
keypoints
single point