Program Analysis Using Weighted Pushdown Systems.

Thomas W. Reps Akash Lal Nicholas Kidd

Published in: FSTTCS (2007)

Keyphrases

information retrieval
information systems
distributed systems
computer vision
three dimensional
database systems
data structure
probabilistic model
management system
medical images
intelligent systems
building blocks