This is a cross reference of all Ada 2005 Issues. Priority is Low, Medium, or High; Difficulty is Easy, Medium, or Hard. Some AIs have alternatives; these are used when the best solution is not apparent. Alternatives share the AI number, but have a different alternative number (following the second dash). For issues that probably will not be considered by the ARG, look in the Ada Commentaries Index. For Ada 95 issues that have or will be considered by the ARG, look in the Ada 95 Issues Index.

The Ada 2005 Issues are indexed in numeric order, by the class of issue, by the current status, and by the section referenced.

AIs listed by Status

The statuses are:

• Corrigendum 2000
• Records of Response 2000
• Amendment 200Y
• WG9 Approved
• ARG Approved
• Work Item
• Received
• No Action
• Deleted.

WG9 Approved

AI05-0002-1/04   2007-10-01 --  Unconstrained arrays and C interfacing
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  B.01 (17)   B.03 (62)   B.03 (71.1/2)  

AI05-0007-1/04   2007-05-15 --  Stream 'Read and private scalar types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  13.13.02 (50/2)   13.13.02 (51/2)  

AI05-0008-1/05   2007-10-01 --  General access values that might designate constrained objects
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  3.03 (23)   3.10.02 (26/2)   4.01 (9)   6.04.01 (17)   8.05.01 (5/2)  

AI05-0014-1/03   2007-05-25 --  Accessibility of designated objects
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  3.10.02 (15)  

AI05-0015-1/04   2007-05-17 --  Constant return objects
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  6.05 (2.1/2)   3.03 (10/2)   3.03 (21)   6.05 (5/2)   6.05 (5.7/2)  

AI05-0016-1/02   2006-12-13 --  Others => <> can be used in place of null record
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  4.03.01 (15)  

AI05-0017-1/04   2007-10-01 --  Freezing and incomplete types
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  13.14 (3/1)  

AI05-0019-1/04   2007-10-01 --  Primitive subprograms are frozen with a tagged type
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  13.14 (2)   13.14 (3/1)   13.14 (8.1/1)   13.14 (10)   13.14 (14)   13.14 (15.1/2)  

AI05-0020-1/03   2007-05-25 --  Universal operators of fixed point and access types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  4.05.02 (9.3/2)   4.05.05 (19.2/2)  

AI05-0021-1/03   2007-05-17 --  Issues with containers
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  A.18.03 (102/2)   A.18.02 (139/2)   A.18.03 (83/2)   A.18.04 (38/2)   A.18.07 (36/2)   A.18.02 (237/2)   A.18.03 (151/2)  

AI05-0024-1/05   2007-10-01 --  Run-time accessibility checks
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  4.08 (10.1/2)   3.10.02 (14.1-14.4   6.05 (8/2)  

AI05-0025-1/03   2007-05-17 --  Missing legality rules for formal_package_association
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  12.07 (4/2)  

AI05-0028-1/06   2007-10-01 --  Problems with preelaboration
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  10.02.01 (9/2)   10.02.01 (10.1/2)   10.02.01 (11.1/2)   10.02.01 (11.2/2)   10.02.01 (11.4/2)   10.02.01 (11.8/2)  

AI05-0035-1/04   2007-10-01 --  Inconsistences with pure units
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  10.02.01 (15.1/2)   10.02.01 (15.4/2)   10.02.01 (15.5/2)   10.02.01 (17/2)  

AI05-0037-1/02   2007-10-08 --  Out of range <> associations in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  4.03.03 (29)  

AI05-0040-1/03   2007-10-08 --  Limited with clauses on descendants
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  10.01.02 (20/2)  

AI05-0043-1/02   2007-10-08 --  The Exception_Message for failed language-defined checks.
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  11.04.01 (10.1/2)   11 (2)  

AI05-0046-1/03   2007-10-08 --  Null exclusions must match for profiles to be fully conformant
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  6.03.02 (18)  

AI05-0055-1/03   2007-10-08 --  Glitch in EDF protocol
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  D.02.06 (26/2)  

AI05-0056-1/02   2007-06-17 --  Wrong result for Index functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  A.04.03 (56.2/2)   A.04.03 (58.5/2)  

ARG Approved

AI05-0003-1/02   2007-10-29 --  Qualified expressions and "names"
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: ARG Approved   8-0-1  06-11-11
    RM References:  3.03 (11)   3.03 (21)   4.01 (2)   4.04 (7)   4.07 (3)   5.04 (7)  

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

AI05-0013-1/13   2008-05-21 --  No_Nested_Finalization is difficult to enforce
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   7-1-1  08-02-08
    RM References:  7.06 (9.4/2)   13.12 (8)   D.07 (3)   D.07 (4/2)   D.07 (10/2)   D.07 (10.1/2)   D.07 (10.2/2)   D.07 (10.8/2)  

AI05-0022-1/04   2008-04-09 --  Container tampering should be checked for formal subprograms
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-1  06-11-09
    RM References:  A.18.02 (239/2)   A.18.03 (152/2)   A.18.04 (75/2)   A.18.07 (96/2)  

AI05-0023-1/06   2008-04-09 --  'Read on records with variant parts
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  08-02-08
    RM References:  13.13.02 (9/2)   13.13.02 (27/2)   13.13.02 (56/2)  

AI05-0026-1/04   2008-04-09 --  Missing rules for Unchecked_Unions
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-2  06-11-09
    RM References:  7.06 (9.4/2)   B.03.03 (9/2)   B.03.03 (10/2)  

AI05-0027-1/06   2008-05-15 --  Behavior of container operations when passed a finalized container object
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-09
    RM References:  A.18.02 (239/2)   A.18.03 (152/2)   A.18.04 (75/2)   A.18.07 (96/2)  

AI05-0029-1/04   2008-04-21 --  Operations that are not declared but still exist
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-08
    RM References:  7.03.01 (3/1)   7.03.01 (6/1)   12.05 (8/2)   12.05.01 (21/2)  

AI05-0030-2/04   2008-04-21 --  Requeue on synchronized interfaces
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   6-0-2  08-02-09
    RM References:  9.05 (9)   9.05.04 (2)   9.05.04 (3)   9.05.04 (5)   9.05.04 (6)   9.05.04 (7)   9.05.04 (12)  
    Alternatives:   AI05-0030-1

AI05-0032-1/02   2007-11-11 --  Extended return statements for class-wide functions
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   7-1-1  06-11-11
    RM References:  6.05 (5.2/2)   6.05 (5.3/2)   6.05 (5.6/2)   6.05 (5.8/2)   6.05 (8/2)  

AI05-0033-1/04   2008-05-21 --  Rules for non-library level interrupt handlers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-09
    RM References:  13.11.02 (16)   C.03.01 (7/2)   C.03.01 (8/2)  

AI05-0034-1/04   2007-11-26 --  Categorization of limited views
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-1  06-11-09
    RM References:  10.02.01 (11/1)   10.02.01 (17/2)  

AI05-0036-1/01   2007-01-18 --  Number of characters to be output for Text_IO for enumerations
    Priority: Medium     Difficulty: Easy
    Class: Confirmation                Status: ARG Approved   7-0-2  06-11-09
    RM References:  A.10.06 (8)   A.10.10 (11)  

AI05-0038-1/03   2007-11-26 --  Minor Errors in Ada.Text_IO.
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  06-11-09
    RM References:  A.10.05 (37)   A.10.07 (8/1)   A.10.07 (10)   A.10.07 (12)   A.10.08 (10)   A.10.08 (24)  

AI05-0039-1/04   2008-05-15 --  User-defined stream attributes cannot be dynamic
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  06-11-10
    RM References:  13.03 (4)   13.03 (6)   13.13.02 (38/2)  

AI05-0041-1/08   2008-05-15 --  Derived types and partial views
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   5-0-3  08-02-09
    RM References:  3.07.01 (7/2)   3.03 (23.9/3)   3.03 (23.10/3)   3.10.02 (26/3)   3.10.02 (27.2/2)   3.10.02 (28)   4.08 (6/2)  

AI05-0042-1/04   2008-05-21 --  Overriding versus implemented-by
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-11
    RM References:  9.01 (9.2/2)   9.04 (11.1/2)  

AI05-0044-1/04   2008-05-15 --  Equivalence and equality in containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  06-11-10
    RM References:  A.18 (4/2)   A.18.02 (231/2)   A.18.03 (145/2)   A.18.06 (56/2)   A.18.08 (66/2)   A.18.09 (79/2)   A.18.16 (5/2)   A.18.16 (9/2)  

AI05-0045-1/05   2008-04-21 --  Termination of unactivated tasks
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  9.02 (6)  

AI05-0047-1/07   2008-05-27 --  Annoyances in the array packages
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  08-02-09
    RM References:  G.03.01 (78/2)   G.03.01 (90/2)   G.03.02 (16/2)   G.03.02 (75/2)   G.03.02 (146/2)   G.03.02 (160/2)  

AI05-0048-1/03   2008-04-21 --  Redispatching is not expected in language-defined subprograms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  A (3)  

AI05-0052-1/09   2008-05-28 --  Coextensions and distributed overhead
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  4.08 (5.3/2)   7.05 (8)  

AI05-0058-1/01   2007-08-01 --  Abnormal completion of an extended return statement
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  6.05 (22/2)  

AI05-0060-1/07   2008-05-21 --  The definition of Remote access types is too limiting
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   6-0-2  08-02-09
    RM References:  A (4)   E.02.02 (9/1)   E.02.02 (9.2/1)   E.02.02 (14/2)   E.02.02 (18)  

AI05-0062-1/03   2008-04-18 --  Null exclusions and deferred constants
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  06-11-10
    RM References:  7.04 (6/2)   7.04 (7.1/2)  

AI05-0064-1/01   2007-09-13 --  Redundant finalization rule
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  06-11-10
    RM References:  7.06.01 (17.1/1)  

AI05-0065-1/03   2008-04-18 --  Remote access types should be defined as externally streamable
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  06-11-11
    RM References:  13.13.02 (52/2)  

AI05-0066-1/05   2008-05-21 --  Temporary objects are required to live too long
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  3.10.02 (14.4/2)   7.06.01 (13/2)   7.06.01 (13.1/2)  

AI05-0068-1/03   2008-04-18 --  Inherited subprograms may be both abstract and require overriding
    Priority: Medium     Difficulty: Hard
    Class: Ramification                Status: ARG Approved   9-0-0  06-11-10
    RM References:  3.09.03 (3/2)   3.09.03 (4/2)   3.09.03 (5/2)   3.09.03 (6/2)  

AI05-0069-1/03   2007-11-26 --  Holder container
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: ARG Approved   9-0-0  06-11-10
    RM References:  A.18.17 (0)  

AI05-0070-1/01   2007-10-24 --  Elaboration of interface types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  3.09.04 (18/2)  

AI05-0072-1/02   2007-12-13 --  Termination only signals 'Terminated when it is True
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  9.10 (6.1/1)  

AI05-0073-1/04   2008-04-18 --  Questions about functions returning abstract types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-11
    RM References:  3.09.03 (8)   3.09.03 (10)   6.05 (8/2)  

AI05-0076-1/03   2008-04-18 --  Meaning of "function with a controlling result"
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-0  08-02-09
    RM References:  3.09.02 (2/2)  

AI05-0077-1/03   2008-04-18 --  The scope of a declaration does not include any context clause
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-0  08-02-09
    RM References:  10.01.02 (12/2)   10.01.02 (21/2)   10.01.02 (22/2)  

AI05-0078-1/03   2008-04-18 --  Alignment need not match for Unchecked_Conversion
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  13.09 (7)  

AI05-0079-1/04   2008-05-21 --  An other_format character should be allowed wherever a separator is allowed
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  2.01 (4/2)   2.02 (7)  

AI05-0080-1/04   2008-05-21 --  "view of" is not needed when it is clear from context
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-10
    RM References:  3.01 (7)  

AI05-0082-1/03   2008-04-18 --  Accessibility level of generic formal types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   6-0-3  08-02-10
    RM References:  3.10.02 (19/2)   3.10.02 (20)  

AI05-0084-1/03   2008-04-18 --  Pragma Remote_Types for Container library units
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   6-0-2  08-02-25
    RM References:  A.18.02 (6/2)   A.18.03 (5/2)   A.18.05 (2/2)   A.18.06 (2/2)   A.18.08 (2/2)   A.18.09 (2/2)   A.18.17 (5/3)  

AI05-0086-1/02   2008-04-18 --  Statically compatible needs to take null exclusions into account
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  4.09.01 (4)  

AI05-0087-1/03   2008-04-18 --  Formal nonlimited derived types should not have limited actual types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  7.05 (5/2)   12.05.01 (5.1/2)  

AI05-0088-1/01   2008-01-30 --  Only the value of "**" is equivalent to repeated "*"s
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  4.05.06 (11)  

Work Item

AI05-0001-1/01   2006-03-15 --  Bounded containers and other container issues
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     06-03-15
    RM References:  A.18 (0/2)  

AI05-0006-1/05   2008-05-21 --  Nominal subtypes for all names
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.05.01 (6)   4.01.04 (9)  

AI05-0009-1/05   2008-05-16 --  Confirming rep. clauses and independence
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     06-03-21
    RM References:  9.10 (1)   13.01 (15/1)   13.02 (9)   13.03 (13)  

AI05-0010-1/02   2006-12-14 --  Suppressing 11.6 permissions
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     06-03-21
    RM References:  11.06 (5)  

AI05-0012-1/02   2007-05-20 --  Independence and Representation clauses for atomic objects
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     06-03-31
    RM References:  13.02 (6.1/2)   13.02 (7)   C.06 (10)   C.06 (11)   C.06 (21)  

AI05-0031-1/00   2006-12-14 --  Add a From parameter to Find_Token
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     06-11-03
    RM References:  A.04.03 (16)   A.04.03 (67)   A.04.03 (68/1)   A.04.04 (51)   A.04.05 (46)  

AI05-0049-1/00   2007-04-10 --  Extend file name processing in Ada.Directories
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     07-04-10
    RM References:  A.16 (82/2)  

AI05-0050-1/02   2007-10-30 --  Return permissions are not enough for build-in-place
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-04
    RM References:  6.05 (24/2)  

AI05-0051-1/05   2008-02-03 --  Accessibility of dispatching function calls (aka another Baird question)
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     07-05-04
    RM References:  6.05 (21/2)  

AI05-0053-1/06   2008-05-27 --  Aliased views of unaliased objects
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.10 (9/2)   6.05 (2.1/2)  

AI05-0054-1/01   2007-05-15 --  Variable views of constant objects
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-05-15
    RM References:  3.10.02 (29)   13.09.01 (13)  
    Alternatives:   AI05-0054-2

AI05-0054-2/04   2008-02-27 --  Variable views of constant objects
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-24
    RM References:  3.03 (13)   13.09.01 (13)  
    Alternatives:   AI05-0054-1

AI05-0057-1/04   2008-02-22 --  The class attribute of a constrained subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-25
    RM References:  3.09 (13-15)   3.02 (8/2)   4.05.01 (30.1/2)   4.06 (51/2)   4.09.01 (2/2)   4.09.01 (4)   6.05 (5.2/2)   6.05 (5.8/2)   7.04 (6/2)  

AI05-0059-1/03   2008-02-24 --  Limited derived types and build-in-place
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     07-08-03
    RM References:  7.05 (8.1/2)   7.05 (8.1/2)  

AI05-0063-1/04   2008-04-09 --  Access discriminants on derived formal types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.07 (10/2)  

AI05-0067-1/04   2008-02-21 --  More build-in-place issues
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-22
    RM References:  7.05 (8.1/2)  

AI05-0071-1/01   2007-10-24 --  Class-wide operations for formal subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     07-10-24
    RM References:  A.18 (0/2)  

AI05-0074-1/02   2007-11-17 --  Limited view of generic instantiations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     07-10-24
    RM References:  12.03 (1)  
    Alternatives:   AI05-0074-2

AI05-0074-2/00   2008-01-18 --  The "End Private" part
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     08-01-18
    RM References:  7.01 (3)  
    Alternatives:   AI05-0074-1

AI05-0075-1/02   2008-01-18 --  More access discriminant checks needed
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-30
    RM References:  4.08 (5.2/2)   4.08 (10.1/2)   6.05 (5.3/2)   6.05 (5.6/2)   6.05 (21/2)  

AI05-0083-1/02   2008-03-07 --  Representation values of formal parameters
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     08-01-17
    RM References:  13.01 (11/2)   13.04 (22/2)   13.03 (40)  

AI05-0090-1/01   2008-02-04 --  Ambiguities with prefixed views of synchronized primitives
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-02-04
    RM References:  4.01.03 (8-9.2/2)   9.01 (9.2/3)   9.04 (11.1/3)  

AI05-0091-1/01   2008-02-26 --  An other_format character should not be allowed in an identifier
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-02-26
    RM References:  2.03 (3.1/2)  

AI05-0092-1/02   2008-05-28 --  More presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     06-03-05
    RM References:  3.03.01 (20.4/2)   6.03.01 (21.1/2)   13.13.02 (55/2)   13.13.02 (56/2)   G.02.02 (11)  

AI05-0093-1/02   2008-05-21 --  Additional rules that need to use "immutably limited"
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-15
    RM References:  3.03 (23.4/3)  

AI05-0094-1/01   2008-05-16 --  Timing_Events should not require deadlock
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-16
    RM References:  D.15 (15/2)  

AI05-0095-1/01   2008-05-21 --  Address of intrinsic subprograms
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  13.03 (11/1)   13.03 (13/1)  

AI05-0096-1/02   2008-05-28 --  Deriving from formal limited types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-23
    RM References:  3.04 (5.1/2)   6.02 (7)  

AI05-0097-1/01   2008-05-23 --  3.9.3(4) should include abstract null extensions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-23
    RM References:  3.09.03 (4/2)  

AI05-0098-1/01   2008-05-23 --  Incomplete type names can be used in anonymous access-to-subprogram types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-23
    RM References:  3.10.01 (6)   3.10.01 (9.2/2)  

AI05-0099-1/01   2008-05-28 --  The tag, not the type, of an object determines if it is controlled
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-28
    RM References:  7.06.01 (7)   7.06.01 (8)  

AI05-0100-1/01   2008-05-28 --  Placement of pragmas
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-28
    RM References:  2.08 (6)   2.08 (7)  

AI05-0101-1/01   2008-05-28 --  Remote functions must support external streaming
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-28
    RM References:  E.02.02 (14/2)   E.02.03 (14/2)  

Received

AI05-0005-1/00   2006-03-15 --  Editorial comments on AARM 2005
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      06-03-15
    RM References:  12.03 (11)  

No Action

AI05-0018-1/03   2007-06-16 --  Formal Package Matching Rules
    Priority: Medium     Difficulty: Medium
    Class: Pathology                   Status: No Action     (8-1-1) 07-06-03
    RM References:  4.09 (38/2)   12.07 (6/2)  

AI05-0030-1/02   2007-09-27 --  Requeue on synchronized interfaces
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (8-1-1) 08-02-09
    RM References:  9.05.04 (3)  
    Alternatives:   AI05-0030-2

AI05-0085-1/02   2008-02-21 --  Allow Assertion_Policy to apply to a smaller scope
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     (7-0-2) 08-02-10
    RM References:  11.04.02 (7/2)  

AI05-0089-1/01   2008-02-21 --  Renames of components of Unchecked_Union types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     (7-0-2) 08-02-10
    RM References:  8.05.01 (5/2)  

Deleted

AI05-0011-1/01   2006-03-27 --  Recursive types and generic instantiations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Deleted       07-11-17
    RM References:  4.01 (2)   4.07 (0)  

AI05-0061-1/02   2008-02-05 --  Assume-the-worst rule needed for access-to-discriminated checks
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       08-02-05
    RM References:  3.10.02 (27.2/2)  

AI05-0081-1/02   2008-02-25 --  4.8(5.1) should be checked in the private part of an instance
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Deleted       08-02-25
    RM References:  4.08 (5.1/2)  

AIs listed by Class

The classes are:

• Amendment
• Binding Interpretation
• Confirmation
• Ramification
• Presentation.

Confirmation

AI05-0005-1/00   2006-03-15 --  Editorial comments on AARM 2005
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      06-03-15
    RM References:  12.03 (11)  

AI05-0036-1/01   2007-01-18 --  Number of characters to be output for Text_IO for enumerations
    Priority: Medium     Difficulty: Easy
    Class: Confirmation                Status: ARG Approved   7-0-2  06-11-09
    RM References:  A.10.06 (8)   A.10.10 (11)  

Ramification

AI05-0068-1/03   2008-04-18 --  Inherited subprograms may be both abstract and require overriding
    Priority: Medium     Difficulty: Hard
    Class: Ramification                Status: ARG Approved   9-0-0  06-11-10
    RM References:  3.09.03 (3/2)   3.09.03 (4/2)   3.09.03 (5/2)   3.09.03 (6/2)  

AI05-0083-1/02   2008-03-07 --  Representation values of formal parameters
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     08-01-17
    RM References:  13.01 (11/2)   13.04 (22/2)   13.03 (40)  

Binding Interpretation

AI05-0002-1/04   2007-10-01 --  Unconstrained arrays and C interfacing
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  B.01 (17)   B.03 (62)   B.03 (71.1/2)  

AI05-0006-1/05   2008-05-21 --  Nominal subtypes for all names
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.05.01 (6)   4.01.04 (9)  

AI05-0007-1/04   2007-05-15 --  Stream 'Read and private scalar types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  13.13.02 (50/2)   13.13.02 (51/2)  

AI05-0008-1/05   2007-10-01 --  General access values that might designate constrained objects
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  3.03 (23)   3.10.02 (26/2)   4.01 (9)   6.04.01 (17)   8.05.01 (5/2)  

AI05-0009-1/05   2008-05-16 --  Confirming rep. clauses and independence
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     06-03-21
    RM References:  9.10 (1)   13.01 (15/1)   13.02 (9)   13.03 (13)  

AI05-0012-1/02   2007-05-20 --  Independence and Representation clauses for atomic objects
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     06-03-31
    RM References:  13.02 (6.1/2)   13.02 (7)   C.06 (10)   C.06 (11)   C.06 (21)  

AI05-0013-1/13   2008-05-21 --  No_Nested_Finalization is difficult to enforce
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   7-1-1  08-02-08
    RM References:  7.06 (9.4/2)   13.12 (8)   D.07 (3)   D.07 (4/2)   D.07 (10/2)   D.07 (10.1/2)   D.07 (10.2/2)   D.07 (10.8/2)  

AI05-0014-1/03   2007-05-25 --  Accessibility of designated objects
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  3.10.02 (15)  

AI05-0015-1/04   2007-05-17 --  Constant return objects
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  6.05 (2.1/2)   3.03 (10/2)   3.03 (21)   6.05 (5/2)   6.05 (5.7/2)  

AI05-0016-1/02   2006-12-13 --  Others => <> can be used in place of null record
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  4.03.01 (15)  

AI05-0017-1/04   2007-10-01 --  Freezing and incomplete types
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  13.14 (3/1)  

AI05-0019-1/04   2007-10-01 --  Primitive subprograms are frozen with a tagged type
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  13.14 (2)   13.14 (3/1)   13.14 (8.1/1)   13.14 (10)   13.14 (14)   13.14 (15.1/2)  

AI05-0020-1/03   2007-05-25 --  Universal operators of fixed point and access types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  4.05.02 (9.3/2)   4.05.05 (19.2/2)  

AI05-0021-1/03   2007-05-17 --  Issues with containers
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  A.18.03 (102/2)   A.18.02 (139/2)   A.18.03 (83/2)   A.18.04 (38/2)   A.18.07 (36/2)   A.18.02 (237/2)   A.18.03 (151/2)  

AI05-0022-1/04   2008-04-09 --  Container tampering should be checked for formal subprograms
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-1  06-11-09
    RM References:  A.18.02 (239/2)   A.18.03 (152/2)   A.18.04 (75/2)   A.18.07 (96/2)  

AI05-0023-1/06   2008-04-09 --  'Read on records with variant parts
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  08-02-08
    RM References:  13.13.02 (9/2)   13.13.02 (27/2)   13.13.02 (56/2)  

AI05-0024-1/05   2007-10-01 --  Run-time accessibility checks
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  4.08 (10.1/2)   3.10.02 (14.1-14.4   6.05 (8/2)  

AI05-0025-1/03   2007-05-17 --  Missing legality rules for formal_package_association
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  12.07 (4/2)  

AI05-0026-1/04   2008-04-09 --  Missing rules for Unchecked_Unions
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-2  06-11-09
    RM References:  7.06 (9.4/2)   B.03.03 (9/2)   B.03.03 (10/2)  

AI05-0027-1/06   2008-05-15 --  Behavior of container operations when passed a finalized container object
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-09
    RM References:  A.18.02 (239/2)   A.18.03 (152/2)   A.18.04 (75/2)   A.18.07 (96/2)  

AI05-0028-1/06   2007-10-01 --  Problems with preelaboration
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  10.02.01 (9/2)   10.02.01 (10.1/2)   10.02.01 (11.1/2)   10.02.01 (11.2/2)   10.02.01 (11.4/2)   10.02.01 (11.8/2)  

AI05-0029-1/04   2008-04-21 --  Operations that are not declared but still exist
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-08
    RM References:  7.03.01 (3/1)   7.03.01 (6/1)   12.05 (8/2)   12.05.01 (21/2)  

AI05-0030-2/04   2008-04-21 --  Requeue on synchronized interfaces
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   6-0-2  08-02-09
    RM References:  9.05 (9)   9.05.04 (2)   9.05.04 (3)   9.05.04 (5)   9.05.04 (6)   9.05.04 (7)   9.05.04 (12)  
    Alternatives:   AI05-0030-1

AI05-0032-1/02   2007-11-11 --  Extended return statements for class-wide functions
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   7-1-1  06-11-11
    RM References:  6.05 (5.2/2)   6.05 (5.3/2)   6.05 (5.6/2)   6.05 (5.8/2)   6.05 (8/2)  

AI05-0033-1/04   2008-05-21 --  Rules for non-library level interrupt handlers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-09
    RM References:  13.11.02 (16)   C.03.01 (7/2)   C.03.01 (8/2)  

AI05-0034-1/04   2007-11-26 --  Categorization of limited views
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-1  06-11-09
    RM References:  10.02.01 (11/1)   10.02.01 (17/2)  

AI05-0035-1/04   2007-10-01 --  Inconsistences with pure units
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  10.02.01 (15.1/2)   10.02.01 (15.4/2)   10.02.01 (15.5/2)   10.02.01 (17/2)  

AI05-0037-1/02   2007-10-08 --  Out of range <> associations in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  4.03.03 (29)  

AI05-0038-1/03   2007-11-26 --  Minor Errors in Ada.Text_IO.
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  06-11-09
    RM References:  A.10.05 (37)   A.10.07 (8/1)   A.10.07 (10)   A.10.07 (12)   A.10.08 (10)   A.10.08 (24)  

AI05-0039-1/04   2008-05-15 --  User-defined stream attributes cannot be dynamic
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  06-11-10
    RM References:  13.03 (4)   13.03 (6)   13.13.02 (38/2)  

AI05-0040-1/03   2007-10-08 --  Limited with clauses on descendants
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  10.01.02 (20/2)  

AI05-0041-1/08   2008-05-15 --  Derived types and partial views
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   5-0-3  08-02-09
    RM References:  3.07.01 (7/2)   3.03 (23.9/3)   3.03 (23.10/3)   3.10.02 (26/3)   3.10.02 (27.2/2)   3.10.02 (28)   4.08 (6/2)  

AI05-0042-1/04   2008-05-21 --  Overriding versus implemented-by
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-11
    RM References:  9.01 (9.2/2)   9.04 (11.1/2)  

AI05-0043-1/02   2007-10-08 --  The Exception_Message for failed language-defined checks.
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  11.04.01 (10.1/2)   11 (2)  

AI05-0044-1/04   2008-05-15 --  Equivalence and equality in containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  06-11-10
    RM References:  A.18 (4/2)   A.18.02 (231/2)   A.18.03 (145/2)   A.18.06 (56/2)   A.18.08 (66/2)   A.18.09 (79/2)   A.18.16 (5/2)   A.18.16 (9/2)  

AI05-0045-1/05   2008-04-21 --  Termination of unactivated tasks
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  9.02 (6)  

AI05-0046-1/03   2007-10-08 --  Null exclusions must match for profiles to be fully conformant
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  6.03.02 (18)  

AI05-0047-1/07   2008-05-27 --  Annoyances in the array packages
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  08-02-09
    RM References:  G.03.01 (78/2)   G.03.01 (90/2)   G.03.02 (16/2)   G.03.02 (75/2)   G.03.02 (146/2)   G.03.02 (160/2)  

AI05-0048-1/03   2008-04-21 --  Redispatching is not expected in language-defined subprograms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  A (3)  

AI05-0050-1/02   2007-10-30 --  Return permissions are not enough for build-in-place
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-04
    RM References:  6.05 (24/2)  

AI05-0051-1/05   2008-02-03 --  Accessibility of dispatching function calls (aka another Baird question)
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     07-05-04
    RM References:  6.05 (21/2)  

AI05-0052-1/09   2008-05-28 --  Coextensions and distributed overhead
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  4.08 (5.3/2)   7.05 (8)  

AI05-0053-1/06   2008-05-27 --  Aliased views of unaliased objects
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.10 (9/2)   6.05 (2.1/2)  

AI05-0054-1/01   2007-05-15 --  Variable views of constant objects
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-05-15
    RM References:  3.10.02 (29)   13.09.01 (13)  
    Alternatives:   AI05-0054-2

AI05-0054-2/04   2008-02-27 --  Variable views of constant objects
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-24
    RM References:  3.03 (13)   13.09.01 (13)  
    Alternatives:   AI05-0054-1

AI05-0055-1/03   2007-10-08 --  Glitch in EDF protocol
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  D.02.06 (26/2)  

AI05-0056-1/02   2007-06-17 --  Wrong result for Index functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  A.04.03 (56.2/2)   A.04.03 (58.5/2)  

AI05-0057-1/04   2008-02-22 --  The class attribute of a constrained subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-25
    RM References:  3.09 (13-15)   3.02 (8/2)   4.05.01 (30.1/2)   4.06 (51/2)   4.09.01 (2/2)   4.09.01 (4)   6.05 (5.2/2)   6.05 (5.8/2)   7.04 (6/2)  

AI05-0058-1/01   2007-08-01 --  Abnormal completion of an extended return statement
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  6.05 (22/2)  

AI05-0059-1/03   2008-02-24 --  Limited derived types and build-in-place
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     07-08-03
    RM References:  7.05 (8.1/2)   7.05 (8.1/2)  

AI05-0060-1/07   2008-05-21 --  The definition of Remote access types is too limiting
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   6-0-2  08-02-09
    RM References:  A (4)   E.02.02 (9/1)   E.02.02 (9.2/1)   E.02.02 (14/2)   E.02.02 (18)  

AI05-0061-1/02   2008-02-05 --  Assume-the-worst rule needed for access-to-discriminated checks
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       08-02-05
    RM References:  3.10.02 (27.2/2)  

AI05-0062-1/03   2008-04-18 --  Null exclusions and deferred constants
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  06-11-10
    RM References:  7.04 (6/2)   7.04 (7.1/2)  

AI05-0063-1/04   2008-04-09 --  Access discriminants on derived formal types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.07 (10/2)  

AI05-0064-1/01   2007-09-13 --  Redundant finalization rule
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  06-11-10
    RM References:  7.06.01 (17.1/1)  

AI05-0065-1/03   2008-04-18 --  Remote access types should be defined as externally streamable
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  06-11-11
    RM References:  13.13.02 (52/2)  

AI05-0066-1/05   2008-05-21 --  Temporary objects are required to live too long
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  3.10.02 (14.4/2)   7.06.01 (13/2)   7.06.01 (13.1/2)  

AI05-0067-1/04   2008-02-21 --  More build-in-place issues
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-22
    RM References:  7.05 (8.1/2)  

AI05-0070-1/01   2007-10-24 --  Elaboration of interface types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  3.09.04 (18/2)  

AI05-0072-1/02   2007-12-13 --  Termination only signals 'Terminated when it is True
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  9.10 (6.1/1)  

AI05-0073-1/04   2008-04-18 --  Questions about functions returning abstract types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-11
    RM References:  3.09.03 (8)   3.09.03 (10)   6.05 (8/2)  

AI05-0075-1/02   2008-01-18 --  More access discriminant checks needed
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-30
    RM References:  4.08 (5.2/2)   4.08 (10.1/2)   6.05 (5.3/2)   6.05 (5.6/2)   6.05 (21/2)  

AI05-0076-1/03   2008-04-18 --  Meaning of "function with a controlling result"
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-0  08-02-09
    RM References:  3.09.02 (2/2)  

AI05-0077-1/03   2008-04-18 --  The scope of a declaration does not include any context clause
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-0  08-02-09
    RM References:  10.01.02 (12/2)   10.01.02 (21/2)   10.01.02 (22/2)  

AI05-0078-1/03   2008-04-18 --  Alignment need not match for Unchecked_Conversion
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  13.09 (7)  

AI05-0079-1/04   2008-05-21 --  An other_format character should be allowed wherever a separator is allowed
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  2.01 (4/2)   2.02 (7)  

AI05-0080-1/04   2008-05-21 --  "view of" is not needed when it is clear from context
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-10
    RM References:  3.01 (7)  

AI05-0081-1/02   2008-02-25 --  4.8(5.1) should be checked in the private part of an instance
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Deleted       08-02-25
    RM References:  4.08 (5.1/2)  

AI05-0082-1/03   2008-04-18 --  Accessibility level of generic formal types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   6-0-3  08-02-10
    RM References:  3.10.02 (19/2)   3.10.02 (20)  

AI05-0084-1/03   2008-04-18 --  Pragma Remote_Types for Container library units
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   6-0-2  08-02-25
    RM References:  A.18.02 (6/2)   A.18.03 (5/2)   A.18.05 (2/2)   A.18.06 (2/2)   A.18.08 (2/2)   A.18.09 (2/2)   A.18.17 (5/3)  

AI05-0085-1/02   2008-02-21 --  Allow Assertion_Policy to apply to a smaller scope
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     (7-0-2) 08-02-10
    RM References:  11.04.02 (7/2)  

AI05-0086-1/02   2008-04-18 --  Statically compatible needs to take null exclusions into account
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  4.09.01 (4)  

AI05-0087-1/03   2008-04-18 --  Formal nonlimited derived types should not have limited actual types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  7.05 (5/2)   12.05.01 (5.1/2)  

AI05-0088-1/01   2008-01-30 --  Only the value of "**" is equivalent to repeated "*"s
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  4.05.06 (11)  

AI05-0089-1/01   2008-02-21 --  Renames of components of Unchecked_Union types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     (7-0-2) 08-02-10
    RM References:  8.05.01 (5/2)  

AI05-0090-1/01   2008-02-04 --  Ambiguities with prefixed views of synchronized primitives
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-02-04
    RM References:  4.01.03 (8-9.2/2)   9.01 (9.2/3)   9.04 (11.1/3)  

AI05-0091-1/01   2008-02-26 --  An other_format character should not be allowed in an identifier
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-02-26
    RM References:  2.03 (3.1/2)  

AI05-0093-1/02   2008-05-21 --  Additional rules that need to use "immutably limited"
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-15
    RM References:  3.03 (23.4/3)  

AI05-0094-1/01   2008-05-16 --  Timing_Events should not require deadlock
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-16
    RM References:  D.15 (15/2)  

AI05-0095-1/01   2008-05-21 --  Address of intrinsic subprograms
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  13.03 (11/1)   13.03 (13/1)  

AI05-0096-1/02   2008-05-28 --  Deriving from formal limited types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-23
    RM References:  3.04 (5.1/2)   6.02 (7)  

AI05-0097-1/01   2008-05-23 --  3.9.3(4) should include abstract null extensions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-23
    RM References:  3.09.03 (4/2)  

AI05-0098-1/01   2008-05-23 --  Incomplete type names can be used in anonymous access-to-subprogram types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-23
    RM References:  3.10.01 (6)   3.10.01 (9.2/2)  

AI05-0099-1/01   2008-05-28 --  The tag, not the type, of an object determines if it is controlled
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-28
    RM References:  7.06.01 (7)   7.06.01 (8)  

AI05-0100-1/01   2008-05-28 --  Placement of pragmas
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-28
    RM References:  2.08 (6)   2.08 (7)  

AI05-0101-1/01   2008-05-28 --  Remote functions must support external streaming
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-28
    RM References:  E.02.02 (14/2)   E.02.03 (14/2)  

Amendment

AI05-0001-1/01   2006-03-15 --  Bounded containers and other container issues
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     06-03-15
    RM References:  A.18 (0/2)  

AI05-0003-1/02   2007-10-29 --  Qualified expressions and "names"
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: ARG Approved   8-0-1  06-11-11
    RM References:  3.03 (11)   3.03 (21)   4.01 (2)   4.04 (7)   4.07 (3)   5.04 (7)  

AI05-0010-1/02   2006-12-14 --  Suppressing 11.6 permissions
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     06-03-21
    RM References:  11.06 (5)  

AI05-0011-1/01   2006-03-27 --  Recursive types and generic instantiations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Deleted       07-11-17
    RM References:  4.01 (2)   4.07 (0)  

AI05-0030-1/02   2007-09-27 --  Requeue on synchronized interfaces
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (8-1-1) 08-02-09
    RM References:  9.05.04 (3)  
    Alternatives:   AI05-0030-2

AI05-0031-1/00   2006-12-14 --  Add a From parameter to Find_Token
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     06-11-03
    RM References:  A.04.03 (16)   A.04.03 (67)   A.04.03 (68/1)   A.04.04 (51)   A.04.05 (46)  

AI05-0049-1/00   2007-04-10 --  Extend file name processing in Ada.Directories
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     07-04-10
    RM References:  A.16 (82/2)  

AI05-0069-1/03   2007-11-26 --  Holder container
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: ARG Approved   9-0-0  06-11-10
    RM References:  A.18.17 (0)  

AI05-0071-1/01   2007-10-24 --  Class-wide operations for formal subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     07-10-24
    RM References:  A.18 (0/2)  

AI05-0074-1/02   2007-11-17 --  Limited view of generic instantiations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     07-10-24
    RM References:  12.03 (1)  
    Alternatives:   AI05-0074-2

AI05-0074-2/00   2008-01-18 --  The "End Private" part
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     08-01-18
    RM References:  7.01 (3)  
    Alternatives:   AI05-0074-1

Presentation

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

AI05-0092-1/02   2008-05-28 --  More presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     06-03-05
    RM References:  3.03.01 (20.4/2)   6.03.01 (21.1/2)   13.13.02 (55/2)   13.13.02 (56/2)   G.02.02 (11)  

Other

AI05-0018-1/03   2007-06-16 --  Formal Package Matching Rules
    Priority: Medium     Difficulty: Medium
    Class: Pathology                   Status: No Action     (8-1-1) 07-06-03
    RM References:  4.09 (38/2)   12.07 (6/2)  

AIs listed by Section Referenced

1.01.02

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

1.01.04

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

2.01

AI05-0079-1/04   2008-05-21 --  An other_format character should be allowed wherever a separator is allowed
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  2.01 (4/2)   2.02 (7)  

2.02

AI05-0079-1/04   2008-05-21 --  An other_format character should be allowed wherever a separator is allowed
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  2.01 (4/2)   2.02 (7)  

2.03

AI05-0091-1/01   2008-02-26 --  An other_format character should not be allowed in an identifier
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-02-26
    RM References:  2.03 (3.1/2)  

2.08

AI05-0100-1/01   2008-05-28 --  Placement of pragmas
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-28
    RM References:  2.08 (6)   2.08 (7)  

3.01

AI05-0080-1/04   2008-05-21 --  "view of" is not needed when it is clear from context
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-10
    RM References:  3.01 (7)  

3.02

AI05-0057-1/04   2008-02-22 --  The class attribute of a constrained subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-25
    RM References:  3.09 (13-15)   3.02 (8/2)   4.05.01 (30.1/2)   4.06 (51/2)   4.09.01 (2/2)   4.09.01 (4)   6.05 (5.2/2)   6.05 (5.8/2)   7.04 (6/2)  

3.03

AI05-0003-1/02   2007-10-29 --  Qualified expressions and "names"
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: ARG Approved   8-0-1  06-11-11
    RM References:  3.03 (11)   3.03 (21)   4.01 (2)   4.04 (7)   4.07 (3)   5.04 (7)  

AI05-0008-1/05   2007-10-01 --  General access values that might designate constrained objects
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  3.03 (23)   3.10.02 (26/2)   4.01 (9)   6.04.01 (17)   8.05.01 (5/2)  

AI05-0015-1/04   2007-05-17 --  Constant return objects
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  6.05 (2.1/2)   3.03 (10/2)   3.03 (21)   6.05 (5/2)   6.05 (5.7/2)  

AI05-0041-1/08   2008-05-15 --  Derived types and partial views
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   5-0-3  08-02-09
    RM References:  3.07.01 (7/2)   3.03 (23.9/3)   3.03 (23.10/3)   3.10.02 (26/3)   3.10.02 (27.2/2)   3.10.02 (28)   4.08 (6/2)  

AI05-0054-2/04   2008-02-27 --  Variable views of constant objects
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-24
    RM References:  3.03 (13)   13.09.01 (13)  
    Alternatives:   AI05-0054-1

AI05-0093-1/02   2008-05-21 --  Additional rules that need to use "immutably limited"
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-15
    RM References:  3.03 (23.4/3)  

3.03.01

AI05-0092-1/02   2008-05-28 --  More presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     06-03-05
    RM References:  3.03.01 (20.4/2)   6.03.01 (21.1/2)   13.13.02 (55/2)   13.13.02 (56/2)   G.02.02 (11)  

3.04

AI05-0096-1/02   2008-05-28 --  Deriving from formal limited types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-23
    RM References:  3.04 (5.1/2)   6.02 (7)  

3.05.01

AI05-0006-1/05   2008-05-21 --  Nominal subtypes for all names
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.05.01 (6)   4.01.04 (9)  

3.07

AI05-0063-1/04   2008-04-09 --  Access discriminants on derived formal types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.07 (10/2)  

3.07.01

AI05-0041-1/08   2008-05-15 --  Derived types and partial views
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   5-0-3  08-02-09
    RM References:  3.07.01 (7/2)   3.03 (23.9/3)   3.03 (23.10/3)   3.10.02 (26/3)   3.10.02 (27.2/2)   3.10.02 (28)   4.08 (6/2)  

3.08

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

3.09

AI05-0057-1/04   2008-02-22 --  The class attribute of a constrained subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-25
    RM References:  3.09 (13-15)   3.02 (8/2)   4.05.01 (30.1/2)   4.06 (51/2)   4.09.01 (2/2)   4.09.01 (4)   6.05 (5.2/2)   6.05 (5.8/2)   7.04 (6/2)  

3.09.02

AI05-0076-1/03   2008-04-18 --  Meaning of "function with a controlling result"
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-0  08-02-09
    RM References:  3.09.02 (2/2)  

3.09.03

AI05-0068-1/03   2008-04-18 --  Inherited subprograms may be both abstract and require overriding
    Priority: Medium     Difficulty: Hard
    Class: Ramification                Status: ARG Approved   9-0-0  06-11-10
    RM References:  3.09.03 (3/2)   3.09.03 (4/2)   3.09.03 (5/2)   3.09.03 (6/2)  

AI05-0073-1/04   2008-04-18 --  Questions about functions returning abstract types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-11
    RM References:  3.09.03 (8)   3.09.03 (10)   6.05 (8/2)  

AI05-0097-1/01   2008-05-23 --  3.9.3(4) should include abstract null extensions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-23
    RM References:  3.09.03 (4/2)  

3.09.04

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

AI05-0070-1/01   2007-10-24 --  Elaboration of interface types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  3.09.04 (18/2)  

3.10

AI05-0053-1/06   2008-05-27 --  Aliased views of unaliased objects
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.10 (9/2)   6.05 (2.1/2)  

3.10.01

AI05-0098-1/01   2008-05-23 --  Incomplete type names can be used in anonymous access-to-subprogram types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-23
    RM References:  3.10.01 (6)   3.10.01 (9.2/2)  

3.10.02

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

AI05-0008-1/05   2007-10-01 --  General access values that might designate constrained objects
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  3.03 (23)   3.10.02 (26/2)   4.01 (9)   6.04.01 (17)   8.05.01 (5/2)  

AI05-0014-1/03   2007-05-25 --  Accessibility of designated objects
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  3.10.02 (15)  

AI05-0024-1/05   2007-10-01 --  Run-time accessibility checks
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  4.08 (10.1/2)   3.10.02 (14.1-14.4   6.05 (8/2)  

AI05-0041-1/08   2008-05-15 --  Derived types and partial views
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   5-0-3  08-02-09
    RM References:  3.07.01 (7/2)   3.03 (23.9/3)   3.03 (23.10/3)   3.10.02 (26/3)   3.10.02 (27.2/2)   3.10.02 (28)   4.08 (6/2)  

AI05-0054-1/01   2007-05-15 --  Variable views of constant objects
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-05-15
    RM References:  3.10.02 (29)   13.09.01 (13)  
    Alternatives:   AI05-0054-2

AI05-0061-1/02   2008-02-05 --  Assume-the-worst rule needed for access-to-discriminated checks
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Deleted       08-02-05
    RM References:  3.10.02 (27.2/2)  

AI05-0066-1/05   2008-05-21 --  Temporary objects are required to live too long
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  3.10.02 (14.4/2)   7.06.01 (13/2)   7.06.01 (13.1/2)  

AI05-0082-1/03   2008-04-18 --  Accessibility level of generic formal types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   6-0-3  08-02-10
    RM References:  3.10.02 (19/2)   3.10.02 (20)  

4.01

AI05-0003-1/02   2007-10-29 --  Qualified expressions and "names"
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: ARG Approved   8-0-1  06-11-11
    RM References:  3.03 (11)   3.03 (21)   4.01 (2)   4.04 (7)   4.07 (3)   5.04 (7)  

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

AI05-0008-1/05   2007-10-01 --  General access values that might designate constrained objects
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  3.03 (23)   3.10.02 (26/2)   4.01 (9)   6.04.01 (17)   8.05.01 (5/2)  

AI05-0011-1/01   2006-03-27 --  Recursive types and generic instantiations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Deleted       07-11-17
    RM References:  4.01 (2)   4.07 (0)  

4.01.03

AI05-0090-1/01   2008-02-04 --  Ambiguities with prefixed views of synchronized primitives
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-02-04
    RM References:  4.01.03 (8-9.2/2)   9.01 (9.2/3)   9.04 (11.1/3)  

4.01.04

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

AI05-0006-1/05   2008-05-21 --  Nominal subtypes for all names
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.05.01 (6)   4.01.04 (9)  

4.03.01

AI05-0016-1/02   2006-12-13 --  Others => <> can be used in place of null record
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  4.03.01 (15)  

4.03.03

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

AI05-0037-1/02   2007-10-08 --  Out of range <> associations in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  4.03.03 (29)  

4.04

AI05-0003-1/02   2007-10-29 --  Qualified expressions and "names"
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: ARG Approved   8-0-1  06-11-11
    RM References:  3.03 (11)   3.03 (21)   4.01 (2)   4.04 (7)   4.07 (3)   5.04 (7)  

4.05.01

AI05-0057-1/04   2008-02-22 --  The class attribute of a constrained subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-25
    RM References:  3.09 (13-15)   3.02 (8/2)   4.05.01 (30.1/2)   4.06 (51/2)   4.09.01 (2/2)   4.09.01 (4)   6.05 (5.2/2)   6.05 (5.8/2)   7.04 (6/2)  

4.05.02

AI05-0020-1/03   2007-05-25 --  Universal operators of fixed point and access types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  4.05.02 (9.3/2)   4.05.05 (19.2/2)  

4.05.05

AI05-0020-1/03   2007-05-25 --  Universal operators of fixed point and access types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  4.05.02 (9.3/2)   4.05.05 (19.2/2)  

4.05.06

AI05-0088-1/01   2008-01-30 --  Only the value of "**" is equivalent to repeated "*"s
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  4.05.06 (11)  

4.06

AI05-0057-1/04   2008-02-22 --  The class attribute of a constrained subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-25
    RM References:  3.09 (13-15)   3.02 (8/2)   4.05.01 (30.1/2)   4.06 (51/2)   4.09.01 (2/2)   4.09.01 (4)   6.05 (5.2/2)   6.05 (5.8/2)   7.04 (6/2)  

4.07

AI05-0003-1/02   2007-10-29 --  Qualified expressions and "names"
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: ARG Approved   8-0-1  06-11-11
    RM References:  3.03 (11)   3.03 (21)   4.01 (2)   4.04 (7)   4.07 (3)   5.04 (7)  

AI05-0011-1/01   2006-03-27 --  Recursive types and generic instantiations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Deleted       07-11-17
    RM References:  4.01 (2)   4.07 (0)  

4.08

AI05-0024-1/05   2007-10-01 --  Run-time accessibility checks
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  4.08 (10.1/2)   3.10.02 (14.1-14.4   6.05 (8/2)  

AI05-0041-1/08   2008-05-15 --  Derived types and partial views
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   5-0-3  08-02-09
    RM References:  3.07.01 (7/2)   3.03 (23.9/3)   3.03 (23.10/3)   3.10.02 (26/3)   3.10.02 (27.2/2)   3.10.02 (28)   4.08 (6/2)  

AI05-0052-1/09   2008-05-28 --  Coextensions and distributed overhead
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  4.08 (5.3/2)   7.05 (8)  

AI05-0075-1/02   2008-01-18 --  More access discriminant checks needed
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-30
    RM References:  4.08 (5.2/2)   4.08 (10.1/2)   6.05 (5.3/2)   6.05 (5.6/2)   6.05 (21/2)  

AI05-0081-1/02   2008-02-25 --  4.8(5.1) should be checked in the private part of an instance
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Deleted       08-02-25
    RM References:  4.08 (5.1/2)  

4.09

AI05-0018-1/03   2007-06-16 --  Formal Package Matching Rules
    Priority: Medium     Difficulty: Medium
    Class: Pathology                   Status: No Action     (8-1-1) 07-06-03
    RM References:  4.09 (38/2)   12.07 (6/2)  

4.09.01

AI05-0057-1/04   2008-02-22 --  The class attribute of a constrained subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-25
    RM References:  3.09 (13-15)   3.02 (8/2)   4.05.01 (30.1/2)   4.06 (51/2)   4.09.01 (2/2)   4.09.01 (4)   6.05 (5.2/2)   6.05 (5.8/2)   7.04 (6/2)  

AI05-0086-1/02   2008-04-18 --  Statically compatible needs to take null exclusions into account
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  4.09.01 (4)  

5.04

AI05-0003-1/02   2007-10-29 --  Qualified expressions and "names"
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: ARG Approved   8-0-1  06-11-11
    RM References:  3.03 (11)   3.03 (21)   4.01 (2)   4.04 (7)   4.07 (3)   5.04 (7)  

6.02

AI05-0096-1/02   2008-05-28 --  Deriving from formal limited types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-23
    RM References:  3.04 (5.1/2)   6.02 (7)  

6.03.01

AI05-0092-1/02   2008-05-28 --  More presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     06-03-05
    RM References:  3.03.01 (20.4/2)   6.03.01 (21.1/2)   13.13.02 (55/2)   13.13.02 (56/2)   G.02.02 (11)  

6.03.02

AI05-0046-1/03   2007-10-08 --  Null exclusions must match for profiles to be fully conformant
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  6.03.02 (18)  

6.04.01

AI05-0008-1/05   2007-10-01 --  General access values that might designate constrained objects
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  3.03 (23)   3.10.02 (26/2)   4.01 (9)   6.04.01 (17)   8.05.01 (5/2)  

6.05

AI05-0015-1/04   2007-05-17 --  Constant return objects
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  6.05 (2.1/2)   3.03 (10/2)   3.03 (21)   6.05 (5/2)   6.05 (5.7/2)  

AI05-0024-1/05   2007-10-01 --  Run-time accessibility checks
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  4.08 (10.1/2)   3.10.02 (14.1-14.4   6.05 (8/2)  

AI05-0032-1/02   2007-11-11 --  Extended return statements for class-wide functions
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   7-1-1  06-11-11
    RM References:  6.05 (5.2/2)   6.05 (5.3/2)   6.05 (5.6/2)   6.05 (5.8/2)   6.05 (8/2)  

AI05-0050-1/02   2007-10-30 --  Return permissions are not enough for build-in-place
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-04
    RM References:  6.05 (24/2)  

AI05-0051-1/05   2008-02-03 --  Accessibility of dispatching function calls (aka another Baird question)
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     07-05-04
    RM References:  6.05 (21/2)  

AI05-0053-1/06   2008-05-27 --  Aliased views of unaliased objects
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  3.10 (9/2)   6.05 (2.1/2)  

AI05-0057-1/04   2008-02-22 --  The class attribute of a constrained subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-25
    RM References:  3.09 (13-15)   3.02 (8/2)   4.05.01 (30.1/2)   4.06 (51/2)   4.09.01 (2/2)   4.09.01 (4)   6.05 (5.2/2)   6.05 (5.8/2)   7.04 (6/2)  

AI05-0058-1/01   2007-08-01 --  Abnormal completion of an extended return statement
    Priority: High       Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  6.05 (22/2)  

AI05-0073-1/04   2008-04-18 --  Questions about functions returning abstract types
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-11
    RM References:  3.09.03 (8)   3.09.03 (10)   6.05 (8/2)  

AI05-0075-1/02   2008-01-18 --  More access discriminant checks needed
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-30
    RM References:  4.08 (5.2/2)   4.08 (10.1/2)   6.05 (5.3/2)   6.05 (5.6/2)   6.05 (21/2)  

7.01

AI05-0074-2/00   2008-01-18 --  The "End Private" part
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     08-01-18
    RM References:  7.01 (3)  
    Alternatives:   AI05-0074-1

7.03

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

7.03.01

AI05-0029-1/04   2008-04-21 --  Operations that are not declared but still exist
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-08
    RM References:  7.03.01 (3/1)   7.03.01 (6/1)   12.05 (8/2)   12.05.01 (21/2)  

7.04

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

AI05-0057-1/04   2008-02-22 --  The class attribute of a constrained subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     07-05-25
    RM References:  3.09 (13-15)   3.02 (8/2)   4.05.01 (30.1/2)   4.06 (51/2)   4.09.01 (2/2)   4.09.01 (4)   6.05 (5.2/2)   6.05 (5.8/2)   7.04 (6/2)  

AI05-0062-1/03   2008-04-18 --  Null exclusions and deferred constants
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  06-11-10
    RM References:  7.04 (6/2)   7.04 (7.1/2)  

7.05

AI05-0052-1/09   2008-05-28 --  Coextensions and distributed overhead
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  4.08 (5.3/2)   7.05 (8)  

AI05-0059-1/03   2008-02-24 --  Limited derived types and build-in-place
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     07-08-03
    RM References:  7.05 (8.1/2)   7.05 (8.1/2)  

AI05-0067-1/04   2008-02-21 --  More build-in-place issues
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-22
    RM References:  7.05 (8.1/2)  

AI05-0087-1/03   2008-04-18 --  Formal nonlimited derived types should not have limited actual types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  7.05 (5/2)   12.05.01 (5.1/2)  

7.06

AI05-0013-1/13   2008-05-21 --  No_Nested_Finalization is difficult to enforce
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   7-1-1  08-02-08
    RM References:  7.06 (9.4/2)   13.12 (8)   D.07 (3)   D.07 (4/2)   D.07 (10/2)   D.07 (10.1/2)   D.07 (10.2/2)   D.07 (10.8/2)  

AI05-0026-1/04   2008-04-09 --  Missing rules for Unchecked_Unions
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-2  06-11-09
    RM References:  7.06 (9.4/2)   B.03.03 (9/2)   B.03.03 (10/2)  

7.06.01

AI05-0064-1/01   2007-09-13 --  Redundant finalization rule
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  06-11-10
    RM References:  7.06.01 (17.1/1)  

AI05-0066-1/05   2008-05-21 --  Temporary objects are required to live too long
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  3.10.02 (14.4/2)   7.06.01 (13/2)   7.06.01 (13.1/2)  

AI05-0099-1/01   2008-05-28 --  The tag, not the type, of an object determines if it is controlled
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-28
    RM References:  7.06.01 (7)   7.06.01 (8)  

8.05.01

AI05-0008-1/05   2007-10-01 --  General access values that might designate constrained objects
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  3.03 (23)   3.10.02 (26/2)   4.01 (9)   6.04.01 (17)   8.05.01 (5/2)  

AI05-0089-1/01   2008-02-21 --  Renames of components of Unchecked_Union types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: No Action     (7-0-2) 08-02-10
    RM References:  8.05.01 (5/2)  

9.01

AI05-0042-1/04   2008-05-21 --  Overriding versus implemented-by
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-11
    RM References:  9.01 (9.2/2)   9.04 (11.1/2)  

AI05-0090-1/01   2008-02-04 --  Ambiguities with prefixed views of synchronized primitives
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-02-04
    RM References:  4.01.03 (8-9.2/2)   9.01 (9.2/3)   9.04 (11.1/3)  

9.02

AI05-0045-1/05   2008-04-21 --  Termination of unactivated tasks
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  9.02 (6)  

9.04

AI05-0042-1/04   2008-05-21 --  Overriding versus implemented-by
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-11
    RM References:  9.01 (9.2/2)   9.04 (11.1/2)  

AI05-0090-1/01   2008-02-04 --  Ambiguities with prefixed views of synchronized primitives
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-02-04
    RM References:  4.01.03 (8-9.2/2)   9.01 (9.2/3)   9.04 (11.1/3)  

9.05

AI05-0030-2/04   2008-04-21 --  Requeue on synchronized interfaces
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   6-0-2  08-02-09
    RM References:  9.05 (9)   9.05.04 (2)   9.05.04 (3)   9.05.04 (5)   9.05.04 (6)   9.05.04 (7)   9.05.04 (12)  
    Alternatives:   AI05-0030-1

9.05.04

AI05-0030-1/02   2007-09-27 --  Requeue on synchronized interfaces
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (8-1-1) 08-02-09
    RM References:  9.05.04 (3)  
    Alternatives:   AI05-0030-2

AI05-0030-2/04   2008-04-21 --  Requeue on synchronized interfaces
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   6-0-2  08-02-09
    RM References:  9.05 (9)   9.05.04 (2)   9.05.04 (3)   9.05.04 (5)   9.05.04 (6)   9.05.04 (7)   9.05.04 (12)  
    Alternatives:   AI05-0030-1

9.10

AI05-0009-1/05   2008-05-16 --  Confirming rep. clauses and independence
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     06-03-21
    RM References:  9.10 (1)   13.01 (15/1)   13.02 (9)   13.03 (13)  

AI05-0072-1/02   2007-12-13 --  Termination only signals 'Terminated when it is True
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-10
    RM References:  9.10 (6.1/1)  

10.01.01

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

10.01.02

AI05-0040-1/03   2007-10-08 --  Limited with clauses on descendants
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  10.01.02 (20/2)  

AI05-0077-1/03   2008-04-18 --  The scope of a declaration does not include any context clause
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-0  08-02-09
    RM References:  10.01.02 (12/2)   10.01.02 (21/2)   10.01.02 (22/2)  

10.01.03

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

10.02.01

AI05-0028-1/06   2007-10-01 --  Problems with preelaboration
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  10.02.01 (9/2)   10.02.01 (10.1/2)   10.02.01 (11.1/2)   10.02.01 (11.2/2)   10.02.01 (11.4/2)   10.02.01 (11.8/2)  

AI05-0034-1/04   2007-11-26 --  Categorization of limited views
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   9-0-1  06-11-09
    RM References:  10.02.01 (11/1)   10.02.01 (17/2)  

AI05-0035-1/04   2007-10-01 --  Inconsistences with pure units
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  10.02.01 (15.1/2)   10.02.01 (15.4/2)   10.02.01 (15.5/2)   10.02.01 (17/2)  

11.04.01

AI05-0043-1/02   2007-10-08 --  The Exception_Message for failed language-defined checks.
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  11.04.01 (10.1/2)   11 (2)  

11.04.02

AI05-0085-1/02   2008-02-21 --  Allow Assertion_Policy to apply to a smaller scope
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     (7-0-2) 08-02-10
    RM References:  11.04.02 (7/2)  

11.06

AI05-0010-1/02   2006-12-14 --  Suppressing 11.6 permissions
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     06-03-21
    RM References:  11.06 (5)  

12.03

AI05-0004-1/12   2008-05-15 --  Presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved   9-0-0  08-02-08
    RM References:  C.07.01 (17/2)   1.01.02 (21)   1.01.04 (14.1/2)   3.08 (11)   3.08 (13.1/2)   3.09.04 (22/2)   3.09.04 (29/2)   3.10.02 (12.2/2)   4.01 (7)   4.01.04 (3)   4.03.03 (32)   7.03 (10.1/2)   7.04 (10)   10.01.03 (10)   10.01.01 (17)   12.03 (7)   A.11 (4/2)   A.18.07 (58/2)   A.18.07 (79/2)   A.18.07 (82/2)   D.09 (6)   J.01   

AI05-0005-1/00   2006-03-15 --  Editorial comments on AARM 2005
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      06-03-15
    RM References:  12.03 (11)  

AI05-0074-1/02   2007-11-17 --  Limited view of generic instantiations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     07-10-24
    RM References:  12.03 (1)  
    Alternatives:   AI05-0074-2

12.05

AI05-0029-1/04   2008-04-21 --  Operations that are not declared but still exist
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-08
    RM References:  7.03.01 (3/1)   7.03.01 (6/1)   12.05 (8/2)   12.05.01 (21/2)  

12.05.01

AI05-0029-1/04   2008-04-21 --  Operations that are not declared but still exist
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-08
    RM References:  7.03.01 (3/1)   7.03.01 (6/1)   12.05 (8/2)   12.05.01 (21/2)  

AI05-0087-1/03   2008-04-18 --  Formal nonlimited derived types should not have limited actual types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  08-02-10
    RM References:  7.05 (5/2)   12.05.01 (5.1/2)  

12.07

AI05-0018-1/03   2007-06-16 --  Formal Package Matching Rules
    Priority: Medium     Difficulty: Medium
    Class: Pathology                   Status: No Action     (8-1-1) 07-06-03
    RM References:  4.09 (38/2)   12.07 (6/2)  

AI05-0025-1/03   2007-05-17 --  Missing legality rules for formal_package_association
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  12.07 (4/2)  

13.01

AI05-0009-1/05   2008-05-16 --  Confirming rep. clauses and independence
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     06-03-21
    RM References:  9.10 (1)   13.01 (15/1)   13.02 (9)   13.03 (13)  

AI05-0083-1/02   2008-03-07 --  Representation values of formal parameters
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     08-01-17
    RM References:  13.01 (11/2)   13.04 (22/2)   13.03 (40)  

13.02

AI05-0009-1/05   2008-05-16 --  Confirming rep. clauses and independence
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     06-03-21
    RM References:  9.10 (1)   13.01 (15/1)   13.02 (9)   13.03 (13)  

AI05-0012-1/02   2007-05-20 --  Independence and Representation clauses for atomic objects
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     06-03-31
    RM References:  13.02 (6.1/2)   13.02 (7)   C.06 (10)   C.06 (11)   C.06 (21)  

13.03

AI05-0009-1/05   2008-05-16 --  Confirming rep. clauses and independence
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     06-03-21
    RM References:  9.10 (1)   13.01 (15/1)   13.02 (9)   13.03 (13)  

AI05-0039-1/04   2008-05-15 --  User-defined stream attributes cannot be dynamic
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  06-11-10
    RM References:  13.03 (4)   13.03 (6)   13.13.02 (38/2)  

AI05-0083-1/02   2008-03-07 --  Representation values of formal parameters
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     08-01-17
    RM References:  13.01 (11/2)   13.04 (22/2)   13.03 (40)  

AI05-0095-1/01   2008-05-21 --  Address of intrinsic subprograms
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     08-05-21
    RM References:  13.03 (11/1)   13.03 (13/1)  

13.04

AI05-0083-1/02   2008-03-07 --  Representation values of formal parameters
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     08-01-17
    RM References:  13.01 (11/2)   13.04 (22/2)   13.03 (40)  

13.09

AI05-0078-1/03   2008-04-18 --  Alignment need not match for Unchecked_Conversion
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   7-0-1  08-02-09
    RM References:  13.09 (7)  

13.09.01

AI05-0054-1/01   2007-05-15 --  Variable views of constant objects
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-05-15
    RM References:  3.10.02 (29)   13.09.01 (13)  
    Alternatives:   AI05-0054-2

AI05-0054-2/04   2008-02-27 --  Variable views of constant objects
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     07-10-24
    RM References:  3.03 (13)   13.09.01 (13)  
    Alternatives:   AI05-0054-1

13.11.02

AI05-0033-1/04   2008-05-21 --  Rules for non-library level interrupt handlers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   9-0-0  06-11-09
    RM References:  13.11.02 (16)   C.03.01 (7/2)   C.03.01 (8/2)  

13.12

AI05-0013-1/13   2008-05-21 --  No_Nested_Finalization is difficult to enforce
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved   7-1-1  08-02-08
    RM References:  7.06 (9.4/2)   13.12 (8)   D.07 (3)   D.07 (4/2)   D.07 (10/2)   D.07 (10.1/2)   D.07 (10.2/2)   D.07 (10.8/2)  

13.13.02

AI05-0007-1/04   2007-05-15 --  Stream 'Read and private scalar types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-06-29
    RM References:  13.13.02 (50/2)   13.13.02 (51/2)  

AI05-0023-1/06   2008-04-09 --  'Read on records with variant parts
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: ARG Approved   7-0-2  08-02-08
    RM References:  13.13.02 (9/2)   13.13.02 (27/2)   13.13.02 (56/2)  

AI05-0039-1/04   2008-05-15 --  User-defined stream attributes cannot be dynamic
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  06-11-10
    RM References:  13.03 (4)   13.03 (6)   13.13.02 (38/2)  

AI05-0065-1/03   2008-04-18 --  Remote access types should be defined as externally streamable
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved   8-0-1  06-11-11
    RM References:  13.13.02 (52/2)  

AI05-0092-1/02   2008-05-28 --  More presentation issues in the Standard
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     06-03-05
    RM References:  3.03.01 (20.4/2)   6.03.01 (21.1/2)   13.13.02 (55/2)   13.13.02 (56/2)   G.02.02 (11)  

13.14

AI05-0017-1/04   2007-10-01 --  Freezing and incomplete types
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  13.14 (3/1)  

AI05-0019-1/04   2007-10-01 --  Primitive subprograms are frozen with a tagged type
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  13.14 (2)   13.14 (3/1)   13.14 (8.1/1)   13.14 (10)   13.14 (14)   13.14 (15.1/2)  

A.04.03

AI05-0031-1/00   2006-12-14 --  Add a From parameter to Find_Token
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     06-11-03
    RM References:  A.04.03 (16)   A.04.03 (67)   A.04.03 (68/1)   A.04.04 (51)   A.04.05 (46)  

AI05-0056-1/02   2007-06-17 --  Wrong result for Index functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: WG9 Approved  07-11-08
    RM References:  A.04.03 (56.2/2)   A.04.03 (58.5/2)  

A.04.04

AI05-0031-1/00   2006-12-14 --  Add a From parameter to Find_Token
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     06-11-03
    RM References:  A.04.03 (16)   A.04.03 (67)   A.04.03 (68/1)   A.04.04 (51)   A.04.05 (46)  

A.04.05