Constant Propagation with Conditional Branches.

Mark N. Wegman F. Kenneth Zadeck

Published in: POPL (1985)

Keyphrases

wave propagation
computer vision
special case
bayesian networks
cooperative
relational databases
conditional probabilities