PAGAI: A Path Sensitive Static Analyser.

Julien Henry David Monniaux Matthieu Moy

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

real time
shortest path
information systems
decision trees
information retrieval
computer vision
knowledge base
multimedia
digital libraries
shortest path problem
path finding