ACATS 4.0 User's Guide
Title Page
Contents   Index   References   Previous   Next 

References

[Ada2012]
ANSI/ISO/IEC 8652:2012, Information technology — Programming languages — Ada, December 2012 (The Ada 2012 Reference Manual, essentially the same document, can be found online at http://www.adaic.org/ada-resources/standards/ada12/.)
[Ada83]
ANSI/MIL-STD-1815A-1983, ISO 8652:1987, FIPS 119 Reference Manual for the Ada Programming Language — superseded by ISO-8652:95) (This can be found online at http://archive.adaic.com/standards/ada83.html.)
[Ada95]
ANSI/ISO/IEC 8652:1995, Information technology — Programming languages — Ada, January 1995 (An unofficial version can be found online at http://archive.adaic.com/standards/ada95.html.)
[Amend1]
ISO/IEC 8652:1995/AMD 1:2007, Information technology — Programming languages — Ada — Amendment 1, March 2007. (An unofficial version can be found at http://www.ada-auth.org/amendment.html. An unofficial document (“Ada 2005 Reference Manual”) that merges [Amend1] with [Ada95] and [TC1] can be found at http://www.adaic.org/ada-resources/standards/ada05/.)
[ISO99]
ISO/IEC 18009:1999, Information technology — Programming languages — Ada: Conformity Assessment of a Language Processor, December 1999
[Pro31]
Ada Resource Association: Operating Procedures for Ada Conformity Assessments Version 3.1, December 2013 (This can be found online in various formats at http://www.ada-auth.org/info.html.)
[TC1]
ISO/IEC 8652:1995/COR 1:2001, Information technology — Programming languages — Ada — Technical Corrigendum 1, June 2001. (An unofficial version can be found at http://www.ada-auth.org/grab-bag.html.)

Contents   Index   References   Previous   Next