Skip to main content
SpringerLink
Log in

ASIS for GNAT: From the prototype to the full implementation

  • Compilers and Tools
  • Conference paper
  • First Online:
Reliable Software Technologies — Ada-Europe '96 (Ada-Europe 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1088))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ASIS documents are available electronically on the World Wide Web: http://www.acm.org/sigada/WG/asiswg/asiswg.html or by anonymous ftp: sw-eng.falls-church.va.us/public/AdaIC/work-grp/asiswg

    Google Scholar 

  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. 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. -: Ada 95 Reference Manual. Intermetrics Inc., Feb 15, 1995 (ISO/ IEC 8652:1995)

    Google Scholar 

  5. R. Dewar: The GNAT Compilation Model. Ada Europe News, March 1995, No 20. pp. 20–23.

    Google Scholar 

  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. -: The current ASIS-for-GNAT version: ftp: lglftp.epfl.ch/pub/ASIS.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Scientific Research Computer Center, Moscow State University, Vorob'evi Gori, 119899, Moscow, Russia

    Sergey Rybin, Alexey Kuchumov & Vasily Fofanov

  2. Swiss Fed Inst of Technology in Lausanne Software Engineering Lab, CH-1015, Lausanne, Switzerland

    Alfred Strohmeier

Authors
  1. Sergey Rybin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alfred Strohmeier
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexey Kuchumov
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Vasily Fofanov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rybin, S., Strohmeier, A., Kuchumov, A., Fofanov, V. (1996). ASIS for GNAT: From the prototype to the full implementation. In: Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe '96. Ada-Europe 1996. Lecture Notes in Computer Science, vol 1088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013497

Download citation

  • DOI: https://doi.org/10.1007/BFb0013497

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61317-6

  • Online ISBN: 978-3-540-68457-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation