Bebop: a path-sensitive interprocedural dataflow engine.

Thomas Ball Sriram K. Rajamani

Published in: PASTE (2001)

Keyphrases

motion estimation
video sequences
shortest path
optimal path
information retrieval
data flow
inference engine
parallel computing
genetic algorithm
learning algorithm
database systems
data model
path finding