Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.

Johann Blieberger Bernd Burgstaller

Published in: Ada-Europe (2003)

Keyphrases

eliminating redundant
wide range
high level
range data
database
data sets
artificial intelligence
decision trees
three dimensional
multi agent systems
information technology
empirical evaluation
evaluation criteria
evaluation model