@inbook{f2d56d5d4bf640d59ef782cc3f9e5022,
title = "Eliminating redundant range checks in GNAT using symbolic evaluation",
abstract = "Implementation of a strongly typed language such as Ada95 requires range checks in the presence of array index expressions and assignment statements. Range checks that cannot be eliminated by the compiler must be executed at run-time, inducing execution time and code size overhead. In this work we propose a new approach for eliminating range checks that is based on symbolic evaluation. Type information provided by the underlying programming language is heavily exploited.",
author = "Johann Blieberger and Bernd Burgstaller",
year = "2003",
doi = "10.1007/3-540-44947-7_11",
language = "English",
isbn = "9783540449478",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "153--167",
editor = "Jean-Pierre Rosen and Alfred Strohmeier",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}