Flow Analytic Type System for Array Bound Checks.

Yutaka Matsuno Hiroyuki Sato

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

Keyphrases

upper bound
lower bound
origin destination
metadata
website
decision trees
artificial neural networks
high speed