Information technology - Programming languages - Prolog - Part 2: Modules
This part of ISO/IEC 13211 is designed to promote the
applicability and portability of Prolog modules that contain
Prolog text complying with the requirements of the Programming
Language Prolog as specified in this part of ISO/IEC 13211.
This part of ISO/IEC 13211 specifies:
a) The representation of Prolog text that constitutes a Prolog
module,
b) The constraints that shall be satisfied to…
Information technology - Programming languages - Fortran - Part 2: Varying length character strings
This part of ISO/IEC 1539 defines facilities in Fortran for the manipulation of character strings of dynamically variable length. This part of ISO/IEC 1539 provides an auxiliary standard for the version of the Fortran language specified by ISO/IEC 1539-1: 1997 and informally known as Fortran 95.
A program that conforms with 1539-2: 1994 also conforms with this standard.
This part of ISO/IEC 1539…
Information Technology - Computer Graphics and Image Processing - Image Processing and Interchange (...
This National Standard of Canada is equivalent to International Standard ISO/IEC 12087-2:1994 (first edition, 1994-08-01).
1 Scope
This part of ISO/IEC 12087 establishes the specification of the application program interface (API), called the Programmer's Imaging Kernel System (PIKS). ISO/IEC 12087-1 establishes the conceptual and architectural definitions of the Common Architecture…
Information technology - Programming languages - Guide for the use of the Ada programming language i...
1 Scope
This Technical Report provides guidance on the use of Ada when producing high integrity systems. In producing such
applications it is usually the case that adherence to guidelines or standards has to be demonstrated to independent bodies.
These guidelines or standards vary according to the application area, industrial sector or nature of the risk involved.
For safety applications, the…
Information technology — Programming languages — Guide for the use of the Ada programming language i...
1 Scope
This Technical Report provides guidance on the use of Ada when producing high integrity systems. In producing such
applications it is usually the case that adherence to guidelines or standards has to be demonstrated to independent bodies.
These guidelines or standards vary according to the application area, industrial sector or nature of the risk involved.
For safety applications, the…
Information Technology - Portable Common Tool Environment (PCTE) - Part 1: Abstract Specification
This National Standard of Canada is equivalent to International Standard ISO/IEC 13719-1:1998.
1 Scope
This part of ISO/IEC 13719 specifies PCTE in abstract, programming-language-independent, terms.
It specifies the interface supported by any conforming implementation as a set of abstract operation specifications, together with the types of their parameters and results.
It is supported…
Information Technology - Portable Common Tool Environment (PCTE) - Part 2: C Programming Language Bi...
This National Standard of Canada is equivalent to International Standard ISO/IEC 13719-2:1998.
1 Scope
This part of ISO/IEC 13719 defines the binding of the Portable Common Tool Environment (PCTE), as specified in ISO/IEC 13719-1, to the C programming language.
A number of features are not completely defined in ISO/IEC 13719-1, some freedom being allowed to the implementor. Some of…
Information Technology - Portable Common Tool Environment (PCTE) - Part 3: Ada Programming Language ...
This National Standard of Canada is equivalent to International Standard ISO/IEC 13719-3:1998.
1 Scope
This part of ISO/IEC 13719 defines the binding of the Portable Common Tool Environment (PCTE) interfaces, as specified in ISO/IEC 13719-1, to the Ada programming language.
A number of features are not completely defined in ISO/IEC 13719-1, some freedom being allowed to the implementor.…