Index

19th IRTAW   6

A

Ada Rapporteur Group   1

Address_to_Access_Conversions   7.9

Admission_Policy pragma   6.6

agggregate
   delta   3.4

aggregate
   array   4.7, 7.4
   container   4.5

Aggregate aspect   4.5

aggregate association   3.4

aggregate choices   3.4

aggregate discriminant   7.6

aggregate index   7.4

AI12-0009-1   4.4

AI12-0020-1   7.1

AI12-0021-1   5.1

AI12-0058-1   7.2

AI12-0059-1   7.3

AI12-0061-1   2.5, 4.5, 4.7, 7.4

AI12-0064-2   2.3, 3.3, 3.8, 4.2

AI12-0075-1   7.5

AI12-0079-3   2, 2.4, 3.3, 4.2

AI12-0086-1   7.6

AI12-0111-1   4.1

AI12-0112-1   2.3, 2.4, 3.3, 4.2, 4.5

AI12-0119-1   2.1

AI12-0124-1   7.1

AI12-0125-3   7.7

AI12-0127-1   3.4

AI12-0128-1   6.2

AI12-0139-1   6

AI12-0156-1   4.3

AI12-0164-1   6.3

AI12-0174-1   7.8

AI12-0175-1   7.9

AI12-0179-1   3.3

AI12-0187-1   3.5

AI12-0188-1   4.4

AI12-0189-1   4.2, 4.4

AI12-0201-1   7, 7.10

AI12-0205-1   3.9

AI12-0208-1   7.11

AI12-0212-1   2.5, 4.5, 4.7, 7.1

AI12-0220-1   3.7

AI12-0226-1   7, 7.12

AI12-0230-1   6, 6.4

AI12-0234-1   6, 6.5

AI12-0236-1   3.6

AI12-0237-1   7.13

AI12-0241-1   2.3

AI12-0242-1   2.5

AI12-0249-1   7.11

AI12-0250-1   4.6

AI12-0251-1   2.6

AI12-0254-1   4.8

AI12-0262-1   2.5

AI12-0265-1   3.8, 3.10

AI12-0266-1   2.1, 4.9

AI12-0267-1   2.2

AI12-0269-1   3.11

AI12-0272-1   3.8

AI12-0275-1   7.12

AI12-0276-1   6, 6.6

AI12-0279-1   6, 6.7

AI12-0280-2   3.7

AI12-0281-1   6, 6.8

AI12-0282-1   3.8, 6, 6.9

AI12-0285-1   3.5

AI12-0286-1   4.4

AI12-0290-1   6.10

AI12-0291-1   6.10

AI12-0295-1   7.11

AI12-0298-1   2.2

AI12-0302-1   2.4

AI12-0304-1   7.1

AI12-0319-1   2.3

AI12-0321-1   6.5

AI12-0325-1   7.11

AI12-0326-2   4.4

AI12-0339-1   4.5

AI12-0340-1   7.1

AI12-0342-1   7.11

AI12-0344-1   2.2, 4.4

AI12-0350-1   4.8

AI12-0362-1   7.14

AI12-0363-1   6.11

AI12-0364-1   6.5

AI12-0366-1   7.11

AI12-0368-1   3.6

AI12-0369-1   6.10

AI12-0374-2   2.3, 3.8

AI12-0375-1   2.4

AI12-0380-1   2.3, 2.4

AI12-0383-1   7.12

AI12-0385-1   7.5

AI12-0391-1   4.5

AI12-0394-1   7.11

AI12-0400-1   4.5

AI12-0401-1   7.12

Allows_Exit aspect   4.2, 4.4

Append   4.5

Append_Vector   4.5

ARG   1

array aggregate   4.7, 7.4

aspect
   Aggregate   4.5
   Allows_Exit   4.2, 4.4
   Atomic   3.8, 6.2, 6.11
   Atomic_Components   3.8
   CPU   6.8
   Default_Initial_Condition   3.8, 3.10
   Dispatching   2.3
   Full_Access_Only   6.11
   Global   2.4, 3.3, 4.2
   Independent   3.8
   Independent_Components   3.8
   Integer_Literal   7.11
   Max_Entry_Queue_Length   6.3
   No_Return   3.11
   Nonblocking   2.3, 3.3, 3.8, 4.2, 6.1
   Parallel_Calls   2.2, 4.4
   Post   3.7, 3.8
   Pre   3.7, 3.8
   Preelaborate   7.9
   Real_Literal   7.11
   Stable_Properties   3.5
   Static   7.5
   String_Literal   7.11
   Use_Formal   2.3
   Volatile   3.8
   Volatile_Components   3.8
   Yield   6.7

association
   aggregate   3.4

Atomic aspect   3.8, 6.2, 6.11

Atomic_Components aspect   3.8

Atomic_Operations package   6.5

attribute
   Ceiling   7.14
   Enum_Rep   7.13
   Enum_Val   7.13
   Floor   7.14
   Image   7.1
   Object_Size   7.3
   Old   3.7
   Parallel_Reduce   2.5
   Reduce   2.5
   rounding   7.14

B

Barnes
   John   1

Big_Integers package   7.11

Big_Numbers package   7.11

Big_Reals package   7.11

Brukardt
   Randy   1

C

Ceiling attribute   7.14

choices
   aggregate   3.4

chunk   2.6

compare and swap   6.5

Conflict_Check_Policy pragma   2.2

constrained subtypes   3

container aggregate   4.5

containers   1

contracts   1

CPU aspect   6.8

D

deadline floor protocol   6.4

declare expression   3.6

default
   generic formal type   3.9

Default_Initial_Condition aspect   3.8, 3.10

delta aggregate   3.4

Detect_Blocking pragma   2.3

discriminant   7.6

Dispatching aspect   2.3

E

earliest deadline first   6.4

Enum_Rep attribute   7.13

Enum_Val attribute   7.13

Exchange package   6.5

expression function   7.5

F

filter   4.6

Floor attribute   7.14

Fortran   7.2

Full_Access_Only aspect   6.11

function
   stable property   3.5

G

generic contract model   3

Global aspect   2.4, 3.3, 4.2

H

handle   2.4

I

Image attribute   7.1

Independent aspect   3.8

Independent_Components aspect   3.8

Insert_Vector   4.5

Instructions to the ARG   1

Integer_Arithmetic package   6.5

Integer_Literal aspect   7.11

interface
   parallel iterator   2.1

IRTAW   1, 6

ISO/IEC JTC1 Working Group   1

iterator
   array aggregate   4.7
   container aggregate   4.5

iterator filter   4.6

L

literal value   7.11

lock-free   6.5

loop body as anonymous procedure   4.4

M

map-reduce   2.5

Max_Entry_Queue_Length aspect   6.3

Max_Protected_Entries restriction   6.10

maximum callers   6.3

Modular_Arithmetic package   6.5

multi-core processor   1

N

named container aggregates   4.5

named number   7.11

No_Dependence restriction   6.10

No_Exceptions restriction   4.4

No_Hidden_Indirect_Globals restriction   2.4

No_Implicit_Heap_Allocations restriction   6.10

No_Relative_Delay restriction   6.10

No_Return aspect   3.11

No_Unspecified_Globals restriction   2.4

Nonblocking aspect   2.3, 3.3, 3.8, 4.2, 6.1

numeric literal   7.11

O

object renaming   7.12

Object_Size attribute   7.3

Old attribute   3.7

OpenMP   2

P

package
   Address_to_Access_Conversions   7.9
   Atomic_Operations   6.5
   Big_Integers   7.11
   Big_Numbers   7.11
   Big_Reals   7.11
   Exchange   6.5
   Integer_Arithmetic   6.5
   Modular_Arithmetic   6.5
   Storage_Elements   7.9
   Test_and_Set   6.5
   Text_Buffer   7.1
   Wide_Command_Line   5.1
   Wide_Directories   5.1
   Wide_Environment_Variables   5.1

parallel iterator   2.1

parallel loop   2.1

Parallel_Calls aspect   2.2, 4.4

Parallel_Reduce attribute   2.5

parameter modes   3

positional container aggregate   4.5

Post aspect   3.7, 3.8

postconditions   3

pragma
   Admission_Policy   6.6
   Conflict_Check_Policy   2.2
   Detect_Blocking   2.3

Pre aspect   3.7, 3.8

preconditions   3

preelaborable package   7.9

Preelaborate aspect   7.9

Prepend_Vector   4.5

procedure
   Append   4.5
   Append_Vector   4.5
   Insert_Vector   4.5
   Prepend_Vector   4.5

Pure_Barriers restriction   6.10

R

Real_Literal aspect   7.11

Reduce attribute   2.5

renaming
   object   7.12

restriction
   Max_Protected_Entries   6.10
   No_Dependence   6.10
   No_Exceptions   4.4
   No_Hidden_Indirect_Globals   2.4
   No_Implicit_Heap_Allocations   6.10
   No_Relative_Delay   6.10
   No_Unspecified_Globals   2.4
   Pure_Barriers   6.10
   Simple_Barriers   6.10

rounding attribute   7.14

S

side effects   2.4

Simple_Barriers restriction   6.10

SPARK   2.4

spin lock   6.5

square brackets   4.5

stable container   4.1

stable property   3.5

stable property function   3.5

Stable_Properties aspect   3.5

Static aspect   7.5

static function   7.5

static string type   7.10

Storage_Elements   7.9

string literal   7.11

String_Literal aspect   7.11

subtype predicates   3

 

@ symbol   7.7

T

Taft
   Tucker   1

Target name symbol   7.7

Term=[for loop],Sec=[parallel]   2.1

test and set   6.5

Test_and_Set package   6.5

Text_Buffer package   7.1

type
   Big_Integer   7.11
   Big_Real   7.11

type invariants   3

U

Unchecked_Conversion   7.9

Unchecked_Union   7.8

Unicode   1

unspecified
   globals   2.4

Use_Formal aspect   2.3

user-defined literal   7.11

V

Volatile aspect   3.8

Volatile_Components aspect   3.8

W

WG 9   1

Wide_Command_Line package   5.1

Wide_Directories package   5.1

Wide_Environment_Variables package   5.1

Wide_File_Names subpackage   5.1

Wide_Wide_File_Names subpackage   5.1

working group   1

Y

Yield aspect   6.7