skip to main content
10.1145/197694.197713acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
Article
Free Access

Run-time check elimination for Ada 9X

Published:11 November 1994Publication History

ABSTRACT

An approach to the elimination of run-time checks in Ada 9X is presented. The approach is a flow analysis approach based on a combination of range propagation and assertion propagation. Range propagation computes estimates for the dynamic characteristics of program entities, for example the values of objects, while assertion propagation maintains valid assertions derived from assignments and conditions of the program. This approach offers a simple alternative to the more complex approach of a theorem prover.

References

  1. 1.W. H. Harrison: Compiler Analysis of the Value Ranges for Variables. IEEE Transactions on Software Engineering, vol. SE-3, no. 3, May 1977, 243- 25OGoogle ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2.P. L. Mzller: Elimination of Redundant Run Time Checks in Ada 9X. master thesis, Technical Univ. of Denmark, Feb. 1993Google ScholarGoogle Scholar
  3. 3.A. Sakharov: Propagation of Constants and Assettions, ACM Sigplan Notices, vol. 29, no. 5, May 1994 Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.B. Schwartz, W. Kirchg'~ssner, R. Landwehr: An Optimizer for Ada N Design, Experiences and Resuits. Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, Atlanta, Georgia, June 1988, 175-184 Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.J. Welsh: Economic Range Checks in Pascal. Software- Practice and Experience, vol. 8 (1978), 85- 97Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Run-time check elimination for Ada 9X

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in
            • Published in

              cover image ACM Conferences
              TRI-Ada '94: Proceedings of the conference on TRI-Ada '94
              November 1994
              508 pages
              ISBN:0897916662
              DOI:10.1145/197694

              Copyright © 1994 ACM

              Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 11 November 1994

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • Article

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader