Version 1.4 of ais/ai-00415.txt

Unformatted version of ais/ai-00415.txt version 1.4
Other versions for file ais/ai-00415.txt

!standard 4.1 (11)          05-07-09 AI95-00415/04
!standard 1.2 (03)
!standard 1.2 (04)
!standard 1.2 (07)
!standard 1.3 (01)
!standard 3.2 (08)
!standard 9.3 (07)
!standard A.1 (35)
!class presentation 05-02-07
!status Amendment 200Y 05-02-28
!status ARG Approved 12-0-0 05-06-19
!status work item 05-02-07
!status received 05-02-07
!priority High
!difficulty Easy
!subject Presentation changes to the Standard
!summary
This AI corrects some minor errors noted in the Standard.
!question
1) "name" should be in the sans-serif font in 4.1(11).
2) "type of the subtype" and "constraint of the subtype" should be in in italics, not just "of". Both terms should be indexed as well.
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).
5) Both conditions of 9.3(6-8) must be satisfied, but the "and" is missing.
6) Type Character in A.1(35) ends with a comma rather than a ");".
!recommendation
(See summary.)
!wording
(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! "Type of a subtype" and "constraint of a subtype" are terms that are being defined. They should be in the index as well.
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.
5) Add the "and".
6) Change to ");".
!corrigendum 1.02(03)
Replace the paragraph:
ISO/IEC 1539:1991, Information technology — Programming languages — FORTRAN.
by:
ISO/IEC 1539-1:2004, Information technology — Programming languages — Fortran — Part 1: Base language.
!corrigendum 1.02(04)
Replace the paragraph:
ISO 1989:1985, Programming languages — COBOL.
by:
ISO/IEC 1989:2002, Information technology — Programming languages — COBOL.
!corrigendum 1.02(07)
Replace the paragraph:
ISO/IEC 9899:1990, Programming languages — C.
by:
ISO/IEC 9899:1999, Programming languages — C, supplemented by Technical Corrigendum 1:2001 and Technical Corrigendum 2:2004.
!corrigendum 1.03(01)
Replace the paragraph:
Terms are defined throughout this International Standard, indicated by 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 Webster's Third New International Dictionary of the English Language. Informal descriptions of some terms are also given in Annex N, "Glossary".
by:
Terms are defined throughout this International Standard, indicated by 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 CRC Concise Encyclopedia of Mathematics, Second Edition. Other terms not defined in this International Standard are to be interpreted according to the 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)
Replace the paragraph:
A 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 belong to the subtype.
by:
A 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 belong to the subtype.
!corrigendum 4.01(11)
Replace the paragraph:
The evaluation of a name determines the entity denoted by the name. This evaluation has no other effect for a name that is a direct_name or a character_literal.
by:
The evaluation of a name determines the entity denoted by the name. This evaluation has no other effect for a name that is a direct_name or a character_literal.
!corrigendum 9.03(7)
Replace the paragraph:
by:
!corrigendum A.1(35)
Replace:
'ø', 'ù', 'ú', 'û', 'ü', 'ý', 'þ', 'ÿ', --248 (16#F8#) .. 255 (16#FF#)
by:
'ø', 'ù', 'ú', 'û', 'ü', 'ý', 'þ', 'ÿ'); --248 (16#F8#) .. 255 (16#FF#)
!ACATS test
None needed.
!appendix

!topic Enumeration type definition of Character has a final comma.
!reference RM95-A.1(36)
!from Grein 2005-06-16
!discussion
The literal list must be terminated by ); instead of ,

****************************************************************


Questions? Ask the ACAA Technical Agent