Run-Time Check Elimination for Ada 9X

Peter Lützen Møller. Run-Time Check Elimination for Ada 9X. In Marcel Toussaint, editor, Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings. Volume 887 of Lecture Notes in Computer Science, pages 11-23, Springer, 1994.

Abstract

Abstract is missing.