A single-pass syntax-directed front end for Ada

ABSTRACT

This paper describes the front-end processor of an Ada compiler that is under development at Florida State University. The compiler is coded in Pascal, to execute on a CDC Cyber system, and is presently targeted to the Z8000 microprocessor architecture. Owing at least in part to the peculiar origins and changing goals of this project, the front end processor is rather unlike those of the other Ada compilers of which we know. Perhaps its most distinctive feature is that it operates in one pass.

REFERENCES

• 1: Reference Manual for the Ada Programming Language (proposed standard), U.S. Department of Defense (November 1980).
• 2: Ada Chapter Reviews (Language Study Notes 260-279: proposed revisions to {ARM} prepared in response to the ANSI standardization canvass and available over ARPANET) (1982).
• 3: Alfred V. Aho , Jeffrey D. Ullman, Principles of Compiler Design (Addison-Wesley series in computer science and information processing), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1977
• 4: T. P. Baker, A One-Pass Algorithm for Overload Resolution in Ada, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.601-614, Oct. 1982 [doi>10.1145/69622.69623]
• 5: Peter A. Belmont, Type resolution in Ada: an implementation report, ACM SIGPLAN Notices, v.15 n.11, November 1980
• 6: G. V. Cormack, An algorithm for the selection of overloaded functions in ADA, ACM SIGPLAN Notices, v.16 n.2, p.48-52, February 1981 [doi>10.1145/954269.954275]
• 7: Dunkle, D.W., "An implementation of overloading in the Ada programming language," (master's thesis) Florida State University (August 1981).
• 8: Mahadevan Ganapathi, Retargetable code generation and optimization using attribute grammars, 1980
• 9: Harald Ganzinger , Knut Ripken, Operator identification in ADA: formal specification, complexity, and concrete implementation, ACM SIGPLAN Notices, v.15 n.2, p.30-42, February 1980 [doi>10.1145/947586.947589]
• 10: Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
• 11: Jürgen M. Janas, A comment on "operator identification in ADA" by Ganzinger and Ripken, ACM SIGPLAN Notices, v.15 n.9, p.39-42, September 1980 [doi>10.1145/947706.947712]
• 12: John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
• 13: Tom Pennello , Frank DeRemer , Richard Meyers, A simplified operator identification scheme for Ada, ACM SIGPLAN Notices, v.15 n.7 and 8, p.82-87, July-August 1980 [doi>10.1145/947680.947688]
• 14: Guido Persch , Georg Winterstein , Manfred Dausmann , Sophia Drossopoulou, Overloading in preliminary Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
• 15: Mark S. Sherman , Martha S. Borkan, A flexible semantic analyzer for Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
• 16: Wallis, R.J., and R.W. Silverman, "Efficient implementation of the Ada overloading rules," Information Processing Letters 10.3, 120-123.
• 17: C. S. Wetherell, Problems with the Ada reference grammar, ACM SIGPLAN Notices, v.16 n.9, p.90-104, September 1981 [doi>10.1145/954312.954320]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Ada

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
          Subjects: Syntax
      D.3.4 Processors
          Subjects: Compilers

General Terms:
Languages