Inference-based overloading resolution for ADA

  • Franz-Josef Grosch
  • Gregor Snelting
Algorithmic Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 456)


We present an incremental type inference and overloading resolution algorithm for ADA. The algorithm is used within a language-specific ADA editor; it is based on inference rules and order-sorted unification. The method is founded on the notion of context relations, a calculus for the incremental analysis of incomplete program fragments. This calculus has recently been extended for the analysis of user-defined polymorphic or overloaded objects, and the semantic analysis for ADA described in this paper was the first field test for the new extensions. Although overloading resolution in incomplete fragments in general is NP-complete, we have obtained an editor with reasonable response time behaviour for up to medium-sized programs.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7 References

  1. [BS86]
    Bahlke, R. and Snelting, G.: The PSG system: from formal language definitions to interactive programming environments. ACM TOPLAS 8, 4 (October 1986), pp. 547–576.Google Scholar
  2. [D84]
    Despeyroux, T.: Executable specification of static semantics. Proc. Semantics of data types, LNCS 173, pp. 215–233.Google Scholar
  3. [DoD83]
    Reference manual for the ADA programming language. ANSI/MIL-STD 1815, January 1983.Google Scholar
  4. [G89]
    Grosch, F.J.: Inferenzbasierte semantische Analyse für ADA. Diploma thesis, Technische Hochschule Darmstadt, Fachbereich Informatik, 1989 (in German).Google Scholar
  5. [K87]
    Kahn, G.: Natural semantics. Proc. STACS 1987, LNCS 247.Google Scholar
  6. [RTD83]
    Reps, T., Teitelbaum, T. and Demers, A.: Incremental context-dependent analysis for language-based editors. ACM TOPLAS 5, 3 (July 1983), pp. 449–477.Google Scholar
  7. [SH86]
    Snelting, G. and Henhapl, W.: Unification in many-sorted algebras as a device for incremental semantic analysis. Proc. 13th POPL, ACM 1986, pp. 229–235.Google Scholar
  8. [S89]
    Snelting, G.: The calculus of context relations. Report PI/R4-89, Fachbereich Informatik, Technische Hochschule Darmstadt. Submitted for Publication.Google Scholar
  9. [SB90]
    Snelting, G. and Bahlke, R.: PSG: a theory-based environment generator. Proc. International conference on software development environments and factories. Pitnam Publishers, pp. 131–140.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Franz-Josef Grosch
    • 1
  • Gregor Snelting
    • 1
  1. 1.Praktische InformatikTechnische Hochschule DarmstadtDarmstadt

Personalised recommendations