Next: Index
Up: GNAT: The GNU Ada
Previous: C. GNU Free Documentation
  Contents
  Index
- AAR95
-
AARM.
Annoted Ada Reference Manual (Technical
Corrigendum
1).
ISO/IEC 8652:1995(E), 1995.
- Bar95
-
Barnes, J. (ed.).
Ada 95 Rationale: The language. The Standard libraries.
Springer, 1995.
- Bar99
-
J. Barnes.
Programming in Ada 95 (2nd edition).
Addison-Wesley, 1999.
- BCJ$^+$90
-
K. Birman, R. Cooper, T. Joseph, K. Marzullo, M. Makpangou, K. Kane,
F. Schmuck, and M. Wood.
The Isis System Manual. Version 2.1.
Cornell University, Cornell, September 1990.
- BR85
-
T.P. Baker and G.A. Riccardi.
Ada Tasking: from Semantics to Efficient Implementation.
Florida-State University, 1985.
- BW98
-
A. Burns and A. Wellings.
Concurrency in Ada (2nd edition).
Cambridge University Press, 1998.
- CDG95
-
C. Comar, G. Dismukes, and F. Gasperoni.
The GNAT Implementation of Controlled Types.
Proceedings of Tri-Ada'95, pages 467-473, 1995.
- CGS94
-
C. Comar, F. Gasperoni, and E. Schonberg.
The GNAT Project: A GNU-Ada9X
Compiler.
Technical report, New York University, 1994.
- Coh96
-
N.H. Cohen.
Ada as a Second Language (2nd edition).
McGraw-Hill, 1996.
- Cor04
-
Ada Core.
GNAT Reference Manual.
Ada Core Technologies, Inc., 2004.
- CP94
-
C. Comar and B. Porter.
Ada 9x Tagged Types and their Implementation in GNAT.
Proceedings of Tri-Ada'94, pages 71-81, 1994.
- Dew94
-
R. Dewar.
The GNAT Compilation Model.
Proceedings of Tri-Ada'94, pages 58-70, 1994.
- DIBM96
-
O. Dong-Ik, T.P. Baker, and S.J. Moon.
The GNARL Implementation of POSIX/Ada Signal Services.
Reliable Software Technologies. AdaEurope'96, LNCS
1088:275-286, June 1996.
- Dis92
-
G.J. Dismukes.
Implementing Tagged Types and Type Extensions for Ada 9x.
TRI-Ada'92 Proceedings, ACM, November 1992.
- GB92
-
E.W. Giering and T.P. Baker.
Using POSIX Threads to Implement Ada Tasking:
Description of Work in
Progress.
TRI-Ada'92 Proceedings, pages 518-529, ACM, November 1992.
- GB94
-
E.W. Giering and T.P. Baker.
Ada 9X Asynchronous Transfer of Control:
Applications and Implementation.
Proceedings of the SIGPLAN Workshop on Language, Compiler, and
Tool support for Real-Time Systems, 1994.
- GB95
-
E.W. Giering and T.P. Baker.
Implementing Ada Protected Objects. Interface
Issues and
Optimization.
TRI-Ada'95 Proceedings, pages 134-143, ACM, Anaheim,
California, 1995.
- GMB93
-
E.W. Giering, F. Mueller, and T.P. Baker.
Implementing Ada 9X features using POSIX Threads:
Design Issues.
TRI-Ada'93 Proceedings, pages 214-228, ACM, Seatle, Washinton,
September 1993.
- GWEB83
-
G. Goos, W.A. Wulf, A. (Jr.) Evans, and K.J. Butlet.
An Intermediate Language for Ada.
Lecture Notes in Computer Science, (161), 1983.
- MAAG96
-
J. Miranda, A. Alvarez, S. Arevalo, and F. Guerra.
Drago: An Ada Extension to Program Fault-Tolerant Distributed
Applications.
Reliable Software Technologies. Ada-Europe'96, pages 235-246,
June 1996.
- MAGA00
-
J. Miranda, A. Alvarez, F. Guerra, and S. Arevalo.
Programming Replicated Systems in Drago.
International Journal of Computer Systems: Science and
Engineering, 15(1):49-59, June 2000.
- MGMG99
-
J. Miranda, F. Guerra, J. Martin, and A. Gonzalez.
How to Modify the GNAT Front-end to Experiment with Ada Extensions.
Reliable Software Technologies. Ada-Europe'99, pages 226-237,
June 1999.
- SB94
-
E. Schonberg and B. Banner.
The GNAT Project: A GNU-Ada9X Compiler.
Studies in Computer and Communications Systems. Ada
YearBook., pages 147-158, 1994.
- Sta04
-
R.M. Stallman.
GCC
Manual.
Free Software Foundation, 2004.
- vK87
-
J. van Katwijk.
The Ada-Compiler: On the Design and Implementation of an Ada
Compiler.
Technische Universiteit Delft, Amsterdam, September 1987.
(C) Javier Miranda and Edmond Schonberg, 2004