ASIS for GNAT: From the prototype to the full implementation

  • Sergey Rybin
  • Alfred Strohmeier
  • Alexey Kuchumov
  • Vasily Fofanov
Compilers and Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1088)


This article is about the implementation of the Ada Semantic Interface Specification (ASIS) for the GNAT Ada 95 compilation system (ASIS-for-GNAT). It discusses implementation problems and their solutions. It explains the interaction of ASIS-for-GNAT with GNAT and its internal data structures. Finally, it describes the current state of ASIS-for-GNAT.


Ada ASIS Compiler Programming Environment 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ASIS documents are available electronically on the World Wide Web: or by anonymous ftp: Scholar
  2. 2.
    E. Schonberg, B. Banner: The GNAT Project: A GNU-Ada 9X Compiler. Ada Europe News, March 1995, No 20. pp. 10–19.Google Scholar
  3. 3.
    S. Rybin, A. Strohmeier, E. Zueff: ASIS for GNAT: Goals, Problems and Implementation Strategy. In Marcel Toussaint (Ed.), Second International Eurospace — Ada-Europe Symposium Proceedings, LNCS no 1031, Springer, pp. 139–151.Google Scholar
  4. 4.
    -: Ada 95 Reference Manual. Intermetrics Inc., Feb 15, 1995 (ISO/ IEC 8652:1995)Google Scholar
  5. 5.
    R. Dewar: The GNAT Compilation Model. Ada Europe News, March 1995, No 20. pp. 20–23.Google Scholar
  6. 6.
    -: Reference Manual of the Ada Programming Language. Washington, D.C.: Department of Defense, Ada Joint Program Office, Feb. 1983 (ISO/TEC 8652:1987)Google Scholar
  7. 7.
    -: The current ASIS-for-GNAT version: ftp: Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Sergey Rybin
    • 1
  • Alfred Strohmeier
    • 2
  • Alexey Kuchumov
    • 1
  • Vasily Fofanov
    • 1
  1. 1.Scientific Research Computer CenterMoscow State UniversityMoscowRussia
  2. 2.Swiss Fed Inst of Technology in Lausanne Software Engineering LabLausanneSwitzerland

Personalised recommendations