The GNAT project: a GNU-Ada 9X compiler

Authors:
Edmond Schonberg;Bernard Banner
Affiliations:
New York University, Courant Institute, 251 Mercer Street, New York, NY;New York University, Courant Institute, 251 Mercer Street, New York, NY
Venue:
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Year:
1994

Citing 6
Cited 19

DIANA: an intermediate language for Ada

DIANA: an intermediate language for Ada
Ada semantic interface specification (ASIS)

TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
How to program in Ada 9X, using Ada 83

ACM SIGAda Ada Letters
Features of the GNU Ada runtime library

TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Smart recompilation and the GNAT compiler

TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Information systems development in Ada

WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada

The GNAT compilation model

TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Integrating GNAT and GCC

TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Smart recompilation and the GNAT compiler

TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Ada-COBOL working group liaison report

ACM SIGAda Ada Letters
Providing fault-tolerant services to distributed Ada 95 applications

Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
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
Transparent filtering of streams in GLADE

Proceedings of the conference on TRI-Ada '97
Programming distributed fault tolerant systems: the replicAda approach

Proceedings of the conference on TRI-Ada '97
Debugging distributed applications with replay capabilities

Proceedings of the conference on TRI-Ada '97
Building fault tolerant distributed systems using IP multicast

Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Multi-μ: an Ada 95 based architecture for fault tolerance support of real-time systems

Proceedings of the 1998 annual ACM SIGAda international conference on Ada
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
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
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
DROOPI: towards a generic middleware

ACM SIGAda Ada Letters
Experiences report on the implementation of EPTs for GNAT

IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*

Real-Time Systems
Eliminating redundant range checks in GNAT using symbolic evaluation

Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
A new robust and efficient implementation of controlled types in the GNAT compiler

Proceedings of the 2012 ACM conference on High integrity language technology

Quantified Score

Hi-index	0.00

Visualization

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.