skip to main content
article
Open Access

A One-Pass Algorithm for Overload Resolution in Ada

Published:01 October 1982Publication History
First page image

References

  1. 1 BELMONT, P. Type resolution in Ada: An implementation report. SIGPLAN Notices (ACM) 15, 11 (Nov. 1980), 57-61. Google ScholarGoogle Scholar
  2. 2 CORMACK, G.V. An algorithm for the selection of overloaded functions in Ada. SIGPLAN Notices (ACM) 16, 2 (Feb. 1981), 48-52. Google ScholarGoogle Scholar
  3. 3 GANZINGER, H., AND I~IPKEN, K. Operator identification in Ada: Formal specification, complexity, and concrete implementation. SIGPLAN Notices (ACM) 15, 2 (Feb. 1980), 30--42. Google ScholarGoogle Scholar
  4. 4 ICHBiAH, J., HELiARD, J., ROUBINE, O., BARNES, J., KRIEG-BRUECKNER, B., AND WICHMANN, B. Rationale for the design of the Ada programming language. SIGPLAN Notices (ACM) 14, 6, pt. B (June 1979), 7-8-7-12. Google ScholarGoogle Scholar
  5. 5 JANAS, J.M. A comment on "Operator identification in Ada" by Ganzinger and Ripken. SIG- PLAN Notices (ACM) 15, 9 (Sept. 1980), 39-43. Google ScholarGoogle Scholar
  6. 6 PENNELLO, T., DEREMER, F., AND MEYERS, R. A simplified operator identification scheme for Ada. SIGPLAN Notices (ACM) 15, 7 (July 1980), 82-87. Google ScholarGoogle Scholar
  7. 7 PERSCH, G., WINTERSTEIN, G., DAUSMANN, M., AND DROSSOPOULOU, S. Overloading in preliminary Ada. SIGPLAN Notices (ACM) 15, 11 (Nov. 1980), 47-56. Google ScholarGoogle Scholar
  8. 8 Reference Manual for the Ada Programming Language (proposed standard), U.S. Department of Defense, Washington, D.C., Nov. 1980.Google ScholarGoogle Scholar
  9. 9 SHERMAN, M. A flexible semantic analyzer for Ada. SIGPLAN Notices (ACM) 15, 11 (Nov. 1980), 62-71. Google ScholarGoogle Scholar
  10. 10 WALLIS, R.J., AND SILVERMAN, R.W. Efficient implementation of the Ada overloading rules. Inf. Process. Lett. 10, 3 (Apr. 1980), 120-123.Google ScholarGoogle Scholar
  11. 11 WEGNER, P. Programming with Ada: An Introduction by Means of Graduated Examples. Prentice-Hall, Englewood Cliffs, N.J., 1980. Google ScholarGoogle Scholar

Index Terms

  1. A One-Pass Algorithm for Overload Resolution in Ada

        Recommendations

        Reviews

        Terry S. Arnold

        This paper presents a one-pass algorithm for overload resolution in Ada. A description of the overloaded operator problem is presented by means of an example. The algorithm is based on a bottom up, left to right parse of an expression. It clearly is intended to work in concert with a LALR(1) parser. The algorithm is informally compared with previously published multipass algorithms in terms of time and space complexity. The conclusion is reached that the multipass algorithms may be superior in terms of space for pathological cases, but come out equal for real-world cases. This algorithm should be of interest to implementors of compilers for Ada or other languages which employ operator overloading facilities.

        Access critical reviews of Computing literature here

        Become a reviewer for Computing Reviews.

        Comments

        Login options

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

        Sign in

        Full Access

        • Published in

          cover image ACM Transactions on Programming Languages and Systems
          ACM Transactions on Programming Languages and Systems  Volume 4, Issue 4
          Oct. 1982
          236 pages
          ISSN:0164-0925
          EISSN:1558-4593
          DOI:10.1145/69622
          Issue’s Table of Contents

          Copyright © 1982 ACM

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 October 1982
          Published in toplas Volume 4, Issue 4

          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