Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Blieberger, B. Burgstaller:
"Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation";
Vortrag: Reliable Software Technologies - Ada-Europe,
Toulouse, France;
16.06.2003
- 20.06.2003; in: "Lecture Notes in Computer Science - Ada-Europe",
Springer-Verlag,
2655
(2003),
ISBN: 3-540-40376-0;
S. 153
- 167.
Kurzfassung englisch:
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.
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404370
Elektronische Version der Publikation:
http://www.auto.tuwien.ac.at/~blieb/papers/symrange.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.