ARG Grab Bag

This page includes information developed for the ISO/IEC JTC1/SC22/WG9 Ada Rapporteur Group (ARG) in response to comments on the Ada standard from the general public. These items don't fit elsewhere on this site.

Amendment 1 for Ada 2012 and Associated Documents

Click here to find working documents for Amendment 1 for Ada 2012 (sometimes known as Ada 202x).

Technical Corrigendum 1 for Ada 2012 and Associated Documents

Click here to find working documents for Technical Corrigendum 1 for Ada 2012, including a version essentially similar to the version that has been approved by WG9, SC22, and published by ISO.

Amendment 2 and Associated Documents

Click here to find working documents for Amendment 2 (which eventually became a revision and then Ada 2012).

Amendment 1 and Associated Documents

Click here to find working documents for Amendment 1.

Technical Corrigendum 1 for Ada 95 and Associated Documents

This is Technical Corrigendum 1 for Ada 95 (8652:1995/COR1:2001). This version has been approved by WG9, SC22, and has been published by ISO. Note that these versions are very similar to, but not exactly the official documents. The HTML version is not formatted like the official version, and is supplied for convinience only.

Following is the Record of Responses document. This contains interpretations of the standard where no text change is proposed.

Following are the Defect Reports used to prepare the Corrigendum and Records of Response.

Proposals for Ada 202x

This document shows all of the Amendment proposals for Ada 202x, their interelationships, their progress state, and their relationship to the WG 9 instructions as of January 15th, 2020.

Ada and SPARK Evolution

Slides from a January 15th, 2020 presentation by the AdaCore Language Design Circle.

Literals

This is a rumination on literals, typography, and more by John Barnes

Access Value Ownership

These are early versions of the Access Value Ownership proposal (AI12-0240-1). There is a fancy .rtf version which shows various comments on the proposal; there is also a text version (which is essentially version /03 of the AI). A slightly newer version (essentially version /04 of the AI) is provided in PDF and text form.

AI12-0240-1v7-stt.TXT /03 version (70K bytes)
AI12-0240-1v7-stt.rtf /03 version (2380K bytes)
AI12-0240-1v8-stt.TXT /04 version (70K bytes)
AI12-0240-1v8-stt.pdf /04 version (192K bytes)

Concatenation Analysis

This is an analysis of concatenation and other character set issues by John-Eric Söderman.

Stable Vectors prototype

This is the prototype of the stable containers proposal AI12-0111-1/01. This prototype is of the vectors container.

200th birthday of Ada Lovelace

This is the Powerpoint slides for John Barnes' presentation for to the 200th Anniversary of Ada Lovelace's birth. This was presented in Oxford on December 10, 2015.

Ada 200Y Workshop at AdaUK 2003

This is the Powerpoint slides for the Ada 200Y Workshop by Tucker Taft at the AdaUK 2003 conference.

ASIS AI05 analysis

This is the analysis of the effect that each AI has on the ASIS standard.

ACATS Test Objectives

The following documents contain proposed ACATS test objectives for Technical Corrigendum 1 for Ada 95 and recent AIs.

Ada 9X Language Study Notes

The Language Study Notes developed during the design of Ada 95 are stored in the AdaIC archives at archive.adaic.com/standards/95lsn/. These can be useful during the development of new proposals for Ada.

AI-85 Test Program

Randy Brukardt has developed the following program to survey existing Ada 95 compilers for their behavior on issues related to AI95-00085. Please run this program on any Ada 95 compilers that you have access to, on as many targets as possible as long as those targets support stream files. Please send the results to agent@ada-auth.org, along with your name, compiler name and version, and target information (including operating system version).

Bit Order Paper

Norman Cohen developed the following paper as a proposal for AI95-00133 on the meaning of the Bit Order value. It contains diagrams that cannot reasonably be appended to the AI itself.