Guidelines for the preparation of conformity clauses in programming language standards
Recognizing the dissimilarity of various language standards, the objective of this Technical Report is to provide guidelines for the preparation of conformity clauses for processors and conformity clauses for programs in language standards, together with an annex containing a checklist to aid in this preparation. It was not considered practical to provide model statements that would be suitable…
Guidelines for the preparation of conformity clauses in programming language standards
Recognizing the dissimilarity of various language standards, the objective of this Technical Report is to provide guidelines for the preparation of conformity clauses for processors and conformity clauses for programs in language standards, together with an annex containing a checklist to aid in this preparation. It was not considered practical to provide model statements that would be suitable…
Information Processing - SGML Support Facilities - Techniques for Using SGML
This National Standard of Canada is equivalent to ISO/IEC
Technical Report 9573.
1 Scope and Field of Application
This Technical Report complements ISO 8879 by providing additional tutorial information. It is not intended, and should not be regarded, as an extension, modification, or interpretation of ISO 8879. The SGML language contains a number of components, some of which are optional…
Describes the semantics and syntax of the APL progamming language and the environment for the application, interchange and the portability of APL programs. Defines requirements for conformance with the standard.
Describes the semantics and syntax of the APL progamming language and the environment for the application, interchange and the portability of APL programs. Defines requirements for conformance with the standard.
Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Techni...
This National Standard of Canada is equivalent to International Standard ISO 8807:1989.
1 Scope and Field of Application
This International Standard defines the syntax and semantics of the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of distributed, concurrent information processing systems. In particular LOTOS can be used to describe formally the…
Information technology — Program constructs and conventions for their representation
Is concerned with the expression of procedure-oriented algorithms. Defines: 1 - the nature of program constructs; 2 - the manner in which constructs can be combined; 3 - specifications for a set of constructs; a variety of subsets of the defined constructs.
