CVS difference for ais/ai-00415.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00415.txt

--- ais/ai-00415.txt	2005/02/08 03:11:37	1.1
+++ ais/ai-00415.txt	2005/04/13 05:37:23	1.2
@@ -1,5 +1,8 @@
-!standard 4.1       (11)                               05-02-07  AI95-00415/01
+!standard 4.1       (11)                               05-02-25  AI95-00415/02
+!standard 3.2       (08)
 !class presentation 05-02-07
+!comment This is in the Amendment (AARM), but not yet approved.
+!status Amendment 200Y 05-02-28
 !status work item 05-02-07
 !status received 05-02-07
 !priority High
@@ -14,24 +17,116 @@
 
 1) "name" should be in the sans-serif font in 4.1(11).
 
+2) "of" should be in the normal font in 3.2(8).
+
+3) The C, COBOL, and Fortran standards all have been updated. We should
+reference the most recent versions in 1.2.
+
+4) Various mathematical terms are used in the standard, but there is no
+definition of them. This is made worse by the vector/matrix packages, which
+include terms probably not found in the dictionary ("inner product",
+"Eigenvalue", and so on).
+
 !recommendation
 
 (See summary.)
 
 !wording
 
-(See summary.)
+(See corrigendum.)
 
 !discussion
+
+1) This was an editing error.
+
+2) Italics are usually used to highlight new technical terms that we are
+introducing. We certainly hope that "of" is not a technical term!
+Argubly, "type of a subtype" and "constraint of a subtype" are terms that
+are being defined, but since there are no index entries for any such terms,
+they apparently aren't terms. Thus we just remove the italics.
+
+3), Yes, we should reference the most recent versions of these standards.
+
+4), We need to add a reference to a mathematical book. The CRC Concise
+Encyclopedia of Mathematics is suggested.
+
+We'll include an AARM note giving the book's ISBN (1584883472) and a web site
+(www.mathworld.com) for additional reference.
+
+
+!corrigendum 1.02(03)
+
+@drepl
+ISO/IEC 1539:1991, @i<Information technology -- Programming languages -- FORTRAN>.
+@dby
+ISO/IEC 1539:2004, @i<Information technology -- Programming languages --
+Fortran -- Part 1: Base language>.
 
-This was an editing error.
+!corrigendum 1.02(04)
+
+@drepl
+ISO 1989:1985, @i<Programming languages -- COBOL>.
+@dby
+ISO/IEC 1989:2002, @i<Programming languages -- COBOL>.
+
+
+!corrigendum 1.02(07)
+
+@drepl
+ISO/IEC 9899:1990, @i<Programming languages -- C>.
+@dby
+ISO/IEC 9899:1999, @i<Programming languages -- C>,
+supplemented by Technical Corrigendum 1:2001 and Technical Corrigendum 2:2004.
+
+!corrigendum 1.03(01)
+
+@drepl
+Terms are defined throughout this International Standard, indicated by
+@i<italic> type. Terms explicitly defined in this International Standard are
+not to be presumed to refer implicitly to similar terms defined elsewhere.
+Terms not defined in this International Standard are to be interpreted
+according to the @i<Webster's Third New International Dictionary of the English
+Language>. Informal descriptions of some terms are also given in Annex N,
+"Glossary".
+@dby
+Terms are defined throughout this International Standard, indicated by
+@i<italic> type. Terms explicitly defined in this International Standard are
+not to be presumed to refer implicitly to similar terms defined elsewhere.
+Mathematical terms not defined in this International Standard are to be
+interpreted according to the @i<CRC Concise Encyclopedia of Mathematics,
+Second Edition>. Other terms not defined in this International Standard are to
+be interpreted according to the @i<Webster's Third New International Dictionary
+of the English Language>. Informal descriptions of some terms are also given in
+Annex N, "Glossary".
+
+!corrigendum 3.02(08)
+
+@drepl
+A @i<subtype> of a given type is a combination of the type,
+a constraint on values of the type, and certain
+attributes specific to the subtype.
+The given type is called the type @i<of> the subtype.
+Similarly, the associated constraint is called the
+constraint @i<of> the subtype. The set of values
+of a subtype consists of the values of its type
+that satisfy its constraint.
+Such values @i<belong> to the subtype.
+@dby
+A @i<subtype> of a given type is a combination of the type,
+a constraint on values of the type, and certain
+attributes specific to the subtype.
+The given type is called the type of the subtype.
+Similarly, the associated constraint is called the
+constraint of the subtype. The set of values
+of a subtype consists of the values of its type
+that satisfy its constraint.
+Such values @i<belong> to the subtype.
 
 !corrigendum 4.01(11)
 
 @drepl
 The evaluation of a @fa<name> determines the entity denoted by the
-@Chg{Version=[2],New=[@fa<name>],Old=[name]}. This evaluation has no other
-effect for a @fa<name> that
+name. This evaluation has no other effect for a @fa<name> that
 is a @fa<direct_name> or a @fa<character_literal>.
 @dby
 The evaluation of a @fa<name> determines the entity denoted by the

Questions? Ask the ACAA Technical Agent