CVS difference for ai12s/ai12-0330-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0330-1.txt

--- ai12s/ai12-0330-1.txt	2019/04/10 00:06:13	1.2
+++ ai12s/ai12-0330-1.txt	2019/05/07 23:18:30	1.3
@@ -1,13 +1,13 @@
-!standard N(0)                                      19-04-05  AI12-0330-1/00
-!class Amendment 15-06-03
-!status work item 15-06-03
-!status received 15-03-20
+!standard N(0)                                      19-05-07  AI12-0330-1/01
+!class Amendment 19-04-05
+!status work item 19-04-05
+!status received 19-03-08
 !priority Low
 !difficulty Easy
 !subject Add items to the Glossary 
 !summary
 
-** TBD.
+Various new and pre-existing terms are added to the glossary.
 
 !problem
 
@@ -22,10 +22,72 @@
 
 !wording
 
-** TBD.
+Attribute
+A characteristic or property of an entity that can be queried, and in some 
+cases specified.
+
+Container Aggregate
+A construct used to define the value for a type that represents a collection 
+of elements, by explicitly specifying the elements in the collection.
+
+Check
+A test made during execution to determine whether a language rule has been 
+violated.
+
+Default Initial Condition
+A property that should hold for every default-initialized object of a given 
+type.
+
+Iterator Filter
+A construct that is used to restrict the elements produced by an iteration 
+to those for which a boolean condition evaluates to True.
+
+Logical Thread of Control
+An activity within the execution of a program that can proceed in parallel 
+with other activities of the same task, or of separate tasks.
+
+Master
+The execution of a construct that includes waiting for tasks and finalization 
+of objects associated with the master, prior to leaving the construct.
 
+Operational Aspect
+An aspect that indicates a logical property of an entity, such as the 
+precondition of a subprogram, or the procedure used to write a given type of 
+object to a stream.
+
+Parallel Construct
+An executable construct that defines multiple activities of a single task that 
+can proceed in parallel, via the execution of multiple logical threads of 
+control.
+
+Reduction Expression
+An expression that defines how to map or transform a collection of values into 
+a new set of values, and then summarize the values by applying an operation 
+to reduce the set to a single value.
+
+Representation Aspect
+An aspect that indicates how an entity is mapped onto the underlying hardware, 
+for example the size or alignment of an object.
+
+Stable Property
+A characteristic associated with objects of a given type that is preserved by 
+many of the primitive operations of the type.
+
+Subunit
+A body of a program unit that can be compiled separately from its enclosing 
+program unit.
+
+Suppress
+To turn off a run-time check for a portion of the text of a program.
+
 !discussion
 
+We tried to cover the interesting new concepts, as well as some existing 
+concepts that were not previously defined in the glossary.
+
+We might want to verify that most of these terms also appear in the index.
+At the moment, "logical thread of control" is not in the index.
+
 !ASIS
 
 [Not sure. It seems like some new capabilities might be needed,
@@ -192,14 +254,14 @@
 
 Attribute
 
-A characteristic or property of an entity that can be queried, and in some cases specified.
-(First defined in 4.1.4).
+A characteristic or property of an entity that can be queried, and in some 
+cases specified. (First defined in 4.1.4).
 
  
-
 Check
 A test made during execution that some unusual condition has not occurred.
-(These are mentioned all over the place, but the place to talk about them in general rather than specific checks looks to be 11 Exceptions).
+(These are mentioned all over the place, but the place to talk about them in 
+general rather than specific checks looks to be 11 Exceptions).
 
  
 Default Initial Condition
@@ -208,28 +270,38 @@
 
 Logical Thread of Control
 To paraphrase Wikipedia:
-The smallest sequence of programmed instructions that can be scheduled independently.
-(This is the successor to Task as the lowest level concurrent entity for most purposes, but Task wasn't defined in the Glossary either.
-If we are going to define it, presumably it should go in 9 - 5.1 says see 9 for a definition, but there isn't (yet) a definition there).
+The smallest sequence of programmed instructions that can be scheduled 
+independently.
+(This is the successor to Task as the lowest level concurrent entity for most 
+purposes, but Task wasn't defined in the Glossary either.
+If we are going to define it, presumably it should go in 9 - 5.1 says see 9 
+for a definition, but there isn't (yet) a definition there).
 
 Master
-The execution of a construct that includes the finalization of local objects (after completion but before leaving).
+The execution of a construct that includes the finalization of local objects 
+(after completion but before leaving).
 (Defined in 7.6.1).
 
 Operational Aspect
-An aspect that defines properties of an entity other than representation properties (see Representation Aspect).
+An aspect that defines properties of an entity other than representation 
+properties (see Representation Aspect).
 (Defined in 13.1).
 
 Parallel Construct
-A parallel construct is a construct that introduces additional logical threads of control without creating a new task. Parallel loops and parallel block statements are examples of parallel constructs.
+A parallel construct is a construct that introduces additional logical threads 
+of control without creating a new task. Parallel loops and parallel block 
+statements are examples of parallel constructs.
 (Defined in 5.1).
 
 Reduction Expression
-A reduction expression maps or transforms a collection of values into a new set of values, and then summarizes the values produced by applying an operation to reduce the set to a single value result.
+A reduction expression maps or transforms a collection of values into a new 
+set of values, and then summarizes the values produced by applying an 
+operation to reduce the set to a single value result.
 (Defined in 4.5.10).
 
 Representation Aspect
-An aspect that affects how an entity is mapped onto the underlying hardware, for example the size or alignment of an object.
+An aspect that affects how an entity is mapped onto the underlying hardware, 
+for example the size or alignment of an object.
 (Defined in 13.1).
 
 Subunit
@@ -239,5 +311,30 @@
 Suppress
 To turn off a run-time check.
 (Defined in 10.5).
+
+***************************************************************
+
+From: Tucker Taft
+Sent: Tuesday, May 7, 2019  4:02 PM
+
+Enjoy! [Followed by version /01 of the AI - Editor.]
+
+***************************************************************
+
+From: Randy Brukardt
+Sent: Tuesday, May 7, 2019  4:18 PM
+
+...
+> We might want to verify that most of these terms also appear in the 
+> index.
+> At the moment, "logical thread of control" is not in the index.
+
+It's not in the index because it is never defined in the Standard. It's used
+a lot, but there is nothing resembling a definition in either Chapter 5 or 9.
+So what would the index entry point to??
+
+In general, it is helpful if one points out where each of these glossary items 
+is defined (each entry appears in the AARM at that point, the actual glossary 
+is a constructed entity).
 
 ***************************************************************

Questions? Ask the ACAA Technical Agent