A practical and precise inference and specializer for array bound checks elimination.

Corneliu Popeea Dana N. Xu Wei-Ngan Chin

Published in: PEPM (2008)

Keyphrases

upper bound
lower bound
worst case
probabilistic inference
bayesian inference
elimination algorithm
real world
random fields
data sets
knowledge base
expert systems
practical application
decision theoretic