Skip to main content
SpringerLink
Log in

ASIS for GNAT: Goals, problems and implementation strategy

  • Conference paper
  • First Online:
Ada in Europe (Ada-Europe 1995)

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

Included in the following conference series:

Abstract

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.

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 1.1.1, ASIS 2.0.A, etc.-ASIS documents are available electronically: on 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, No 20, pp. 10–19 (March 1995)

    Google Scholar 

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

    Google Scholar 

  4. -: Ada 95 Reference Manual. Intermetrics, Inc., Feb. 15, 1995 (ISO/ IEC 8652:1995)

    Google Scholar 

  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. GNAT Compiler: can be get by anonymous ftp: cs.nyu.edu/pub/gnat

    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 & Eugene Zueff

  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. Eugene Zueff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marcel Toussaint

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rybin, S., Strohmeier, A., Zueff, E. (1996). ASIS for GNAT: Goals, problems and implementation strategy. In: Toussaint, M. (eds) Ada in Europe. Ada-Europe 1995. Lecture Notes in Computer Science, vol 1031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015489

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60757-1

  • Online ISBN: 978-3-540-49362-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation