The GNAT project

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The GNAT project: a GNU-Ada 9X compiler

Full text

Pdf (1.14 MB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '94 table of contents

Baltimore, Maryland, United States

Pages: 48 - 57

Year of Publication: 1994

ISBN:0-89791-666-2

Authors

Edmond Schonberg	New York University, Courant Institute, 251 Mercer Street, New York, NY
Bernard Banner	New York University, Courant Institute, 251 Mercer Street, New York, NY

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 21, Citation Count: 17

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/197694.197706 What is a DOI?

ABSTRACT

We describe the general organization of the GNAT compiler, its relationship to the GCC multilanguage compiler system, and some of the architectural details of the system. This paper serves as an introduction to the following papers in this session.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	ADA83	Reference Manual for the Aria Programming Language, ANSI/MIL STD 1815A, ,~PO, 1983
	ADA94	Tucker Taft et al, Programming Language Ada, Language and Standard Libraries, Draft 5.0 (proposed ISO/ANSI standard), IR-MA-1363..4, Intermetrics Inc., June 1994
	ADAR94	B. Brosgol , R. Eachus , D. Emery, Information systems development in Ada, Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada, p.2-16, July 1994, McLean, Virginia, United States [doi>10.1145/197978.197979]
	ASIS91	James B. Bladen , David Spenhoff , Steven J. Blake, Ada semantic interface specification (ASIS), Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, p.6-15, October 21-25, 1991, San Jose, California, United States [doi>10.1145/126551.126552]
	DIANA83	Gernard Goos , William A. Wulf , Arthur Evans, Jr. , Kenneth J. Butler, DIANA: an intermediate language for Ada, Springer-Verlag New York, Inc., New York, NY, 2000
	FAST94	Franco Gasperoni , Patrick Bazire, Smart recompilation and the GNAT compiler, Proceedings of the conference on TRI-Ada '94, p.104-111, November 06-11, 1994, Baltimore, Maryland, United States [doi>10.1145/197694.197712]
	GCC94a	Richard Stallman, Using and Porting GNU CC, Free Software Foundation, 1994
	GCC94b	Richard Kenner. Integrating GNAT into GCC. In Proceedings of Tri-Ada '94, Baltimore, Maryland, 1994 (this volume)
	GPL91	GNU General Public License, Free Software Foundation, 1991
	LGPL91	GNU Library General Public License, Free Software Foundation, 1991
	LIB94	Robert B.K. }Dewar. The GNAT Model of Compilation. In Proceedings of Tri-Ada '94, Baltimore, Maryland, 1994 (this volume)
	PLOEDEREDER92	Erhard Ploedereder, How to program in Ada 9X, using Ada 83, ACM SIGAda Ada Letters, v.XII n.6, p.50-58, Nov./Dec. 1992 [doi>10.1145/142016.142024]
	RTS94	E. W. Giering , Frank Mueller , T. P. Baker, Features of the GNU Ada runtime library, Proceedings of the conference on TRI-Ada '94, p.93-103, November 06-11, 1994, Baltimore, Maryland, United States [doi>10.1145/197694.197711]
	TAG94	Cyrille Comar and Brett Porter. The GNAT Implementation of Tagged Types. In Proceedings of Tri-Ada '94, Baltimore, Maryland, 1994 (this volume)

CITED BY 17

	Kristina Lundqvist , Lars Asplund, A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*, Real-Time Systems, v.24 n.1, p.29-54, January 2003
	Franco Gasperoni , Patrick Bazire, Smart recompilation and the GNAT compiler, Proceedings of the conference on TRI-Ada '94, p.104-111, November 06-11, 1994, Baltimore, Maryland, United States
	Anthony Gargaro , A. Spencer Peterson, Transitioning a model-based software engineering architectural style to Ada 95, Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, p.166-178, November 05-10, 1995, Anaheim, California, United States
	Luís Miguel Pinho , Francisco Vasques, Multi-μ: an Ada 95 based architecture for fault tolerance support of real-time systems, ACM SIGAda Ada Letters, v.XVIII n.6, p.52-60, Nov./Dec. 1998
	Daniel Neri , Laurent Pautet , Samuel Tardieu, Debugging distributed applications with replay capabilities, Proceedings of the conference on TRI-Ada '97, p.189-195, November 09-13, 1997, St. Louis, Missouri, United States
	Samuel Tardieu , Laurent Pautet, Building fault tolerant distributed systems using IP multicast, ACM SIGAda Ada Letters, v.XVIII n.6, p.45-51, Nov./Dec. 1998
	Robert Dewar, The GNAT compilation model, Proceedings of the conference on TRI-Ada '94, p.58-70, November 06-11, 1994, Baltimore, Maryland, United States
	John Thornley, Performance of a high-level parallel programming layer defined on top of the Ada tasking model, Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, p.252-262, November 05-10, 1995, Anaheim, California, United States
	Antoine Beugnard , Zied Choukair , Yvon Kermarrec, COREMO: a CORBA real time extension model and its Ada 95 implementation, Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, p.255-268, December 03-07, 1996, Philadelphia, Pennsylvania, United States
	Yvon Kermarrec , Laurent Nana , Laurent Pautet, Providing fault-tolerant services to distributed Ada 95 applications, Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, p.39-47, December 03-07, 1996, Philadelphia, Pennsylvania, United States
	Cyrille Comar , Gary Dismukes , Franco Gasperoni, The GNAT implementation of controlled types, Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, p.467-473, November 05-10, 1995, Anaheim, California, United States
	Pedro de las Heras-Quirós , Jesús M. González-Barahona , José Centeno-González, Programming distributed fault tolerant systems: the replicAda approach, Proceedings of the conference on TRI-Ada '97, p.21-29, November 09-13, 1997, St. Louis, Missouri, United States
	Laurent Pautet , Thomas Wolf, Transparent filtering of streams in GLADE, Proceedings of the conference on TRI-Ada '97, p.11-19, November 09-13, 1997, St. Louis, Missouri, United States
	Richard Kenner, Integrating GNAT and GCC, Proceedings of the conference on TRI-Ada '94, p.84-92, November 06-11, 1994, Baltimore, Maryland, United States
	Thomas Quinot , Fabrice Kordon , Laurent Pautet, DROOPI: towards a generic middleware, ACM SIGAda Ada Letters, v.XXI n.2, p.26-52, June 2001
	Rodrigo García García , Alfred Strohmeier, Experiences report on the implementation of EPTs for GNAT, ACM SIGAda Ada Letters, v.XXII n.4, December 2002
	Benjamin M. Brosgol, Ada-COBOL working group liaison report, ACM SIGAda Ada Letters, v.XVI n.1, p.36-43, Jan./Feb. 1996