Rechercher

La présente Norme internationale spécifie la forme et la signification des programmes écrits en Ada. Son objectif est de promouvoir la portabilité des programmes Ada vers divers systèmes informatiques. Ada est un langage de...

1.1 Objectifs Les objectifs de cette partie de l'ISO/IEC 10514 sont : - fournir une définition rigoureuse du langage Modula-2 et de sa bibliothèque standard en fournissant un modèle mathématique des deux ; - fournir une...

1. Scope 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...

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...

La présente Norme internationale décrit le langage de programmation M.

This part ofISO/IEC 1539 defines facilities for conditional compilation in Fortran. This part of ISO/IEC 1539 provides an auxiliary standard for the version of the Fortran language specified by ISO/IEC 1539-1 and informally...

1 This document specifies the form and establishes the interpretation of programs expressed in the base Fortran language. The purpose of this document is to promote portability, reliability, maintainability, and efficient...

ISO/IEC 13211 is designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. This part of ISO/IEC 13211 specifies: (a) The representation of Prolog text; (b) The...

ISO/IEC 13211 is designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. This part of ISO/IEC 13211 specifies: (a) The representation of Prolog text; (b) The...