Bibliography

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.