Rationale for Ada 2012
References
ISO/IEC JTC1/SC22/WG9 N498 (2009)
Instructions to the Ada Rapporteur
Group from SC22/WG9 for Preparation of Amendment 2 to ISO/IEC 8652.
(This can be found online at http://www.open-std.org/jtc1/sc22/WG9/n498.pdf.)
ISO/IEC TR 24718:2004 (2004) Guide for the use of the Ada Ravenscar
Profile in high integrity systems.
ISO/IEC 8652:1995/COR 1:2001,
Information technology — Programming
languages — Ada — Technical Corrigendum 1.
(An
unofficial version can be found at http://www.ada-auth.org/grab-bag.html.)
ISO/IEC 8652:1995/AMD.1:2007,
Information technology — Programming
languages — Ada — Amendment 1.
(An
unofficial version can be found at http://www.ada-auth.org/amendment.html.)
S. T. Taft et al (eds) (2007)
Ada 2005 Reference Manual, LNCS
4348, Springer-Verlag.
(Online versions
can be found at http://www.adaic.org/ada-resources/standards/ada05/.)
Rationale for the Design of the Ada Programming Language, Ichbiah,
Barnes, Firth and Woodger (1986), Honeywell and Alsys.
(An
online version can be accessed at http://archive.adaic.com/standards/83rat/html/ratl-TOC.html.
The quote mentioned in 2.2 can found in
clause 2.1: http://archive.adaic.com/standards/83rat/html/ratl-02-01.html.
The discussion mentioned in 4.2 can found
in clause 8.4: http://archive.adaic.com/standards/83rat/html/ratl-08-04.html.)
John Barnes (2006) Programming in Ada 2005, Addison-Wesley.
P. Naur (ed.) Revised Report on the Algorithmic Language ALGOL 60
(1963) Communications of the Association for Computing Machinery, Vol.
6, p. 1.
D. W. Barron et al (1963) The main features of CPL, Computer Journal
vol. 6, pp 134-143.
A. van Wijngaarden et al (eds) (1973) Revised Report on the Algorithmic
Language – ALGOL 68, Springer-Verlag.
K. Jensen and N. Wirth (1975) Pascal User Manual and Report, Springer-Verlag.
Defense Advanced Research Projects Agency (1978)
Department of Defense
Requirements for High Order Computer Programming Languages – STEELMAN,
USDoD.
J. G. P. Barnes (2003) High Integrity Software, The Spark Approach
to Safety and Security, Addison-Wesley.
D. R. Hofstadter (1980) Gödel, Escher, Bach: an Eternal Golden
Braid, Basic Books.
John Barnes (2008)
Ada 2005 Rationale, LNCS 5020, Springer-Verlag.
(Online
versions can be found at http://www.adaic.org/ada-resources/standards/ada05/rationale05/.)
David Fisher (1976) A Common Programming Language for the Department
of Defense — Background and Technical Requirements, Institute
for Defense Analyses, Arlington, Virginia.
Defense Advanced Research Projects Agency (1977)
Department of Defense
Requirements for High Order Computer Programming Languages — Revised
IRONMAN, USDoD.
Jean Ichbiah et al (1978)
Preliminary Reference Manual for the Green
Programming Language, Honeywell Inc.
Jean Ichbiah et al (1979)
Reference Manual for the Green Programming
Language, Honeywell Inc.
ACM (1979)
Preliminary Ada Reference Manual, Sigplan Notices,
Vol 14, No 6.
ANSI / Mil—Std 1815A (1983)
Ada Reference Manual.(An
online version can be found at http://archive.adaic.com/standards/83lrm/html/ada_lrm.html.)
B Higman (1963) What everybody should know about Algol, Computer
Journal, vol 6, no 1, pp 50-56.
A. Burns and A. Wellings (2007) Integrating OOP and Tasking —
the missing requeue, Proceedings of the 13th International Real-Time
Ada Workshop, Ada Letters, Vol 27, No 2.
ACM (2003) Proceedings of the 12th International Real-Time Ada Workshop,
Ada Letters, Vol 23, No 4.
John Barnes (2012) SPARK — The proven approach to High Integrity
Software, Altran Praxis.
© 2011, 2012, 2013 John Barnes Informatics.
Sponsored in part by: