Ada in Europe: First International Eurospace-Ada Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer-Verlag
Published: December 1994
ISBN-13: 9780387588223
First sentence: In this paper a run-time check eliminator for Ada 9X is presented.