ASIS for GNAT: Goals, problems and implementation strategy

  • Sergey Rybin
  • Alfred Strohmeier
  • Eugene Zueff
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1031)


This article describes the approach taken to implement the Ada Semantic Interface Specification (ASIS) for the GNAT Ada compiler. The paper discusses the main implementation problems and and their solution. It also describes the current state of the implementation.


Ada ASIS Compilation Software Engineering Environment 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ASIS 1.1.1, ASIS 2.0.A, etc.-ASIS documents are available electronically: on 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, No 20, pp. 10–19 (March 1995)Google Scholar
  3. 3.
    R. Dewar: The GNAT Compilation Model. Ada Europe News, No 20, pp. 20–23 (March 1995)Google Scholar
  4. 4.
    -: Ada 95 Reference Manual. Intermetrics, Inc., Feb. 15, 1995 (ISO/ IEC 8652:1995)Google Scholar
  5. 5.
    -: Reference Manual of the Ada Programming Language. Washington, D.C.: Department of Defense, Ada Joint Program Office, Feb. 1983 (ISO/IEC 8652:1987)Google Scholar
  6. 6.
    GNAT Compiler: can be get by anonymous ftp: Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Sergey Rybin
    • 1
  • Alfred Strohmeier
    • 2
  • Eugene Zueff
    • 1
  1. 1.Scientific Research Computer CenterMoscow State UniversityMoscowRussia
  2. 2.Swiss Fed Inst of Technology in LausanneSoftware Engineering LabLausanneSwitzerland

Personalised recommendations