Technologies de l'information-Langages de programmation-Partie 1 : Modula-2, langage de base

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 résolution des différences entre les interprétations d'autres descriptions de Modula-2 et de sa bibliothèque standard, tout en s'efforçant de préserver l'investissement dans la pratique existante ;
- supprimer les fonctionnalités jugées redondantes, intrinsèquement défectueuses ou inadéquates ;
- spécifier de nouveaux langages et des installations de bibliothèque standard là où un besoin est perçu ;
- conserver les principes généraux de Modula-2 posés par son inventeur, tout en permettant une modernisation et une standardisation ultérieure.

1.2 Spécifications incluses dans cette partie de l'ISO/IEC 10514

La présente partie de l'ISO/CEI 10514 fournit des spécifications pour :

- les symboles requis pour la représentation du programme Modula-2, y compris les commentaires, les littéraux et les directives du code source ;
- la structure lexicale, la structure syntaxique et la sémantique des programmes Modula-2, y compris les programmes utilisant des modules système ;
- l'interface et la sémantique des modules standards de la bibliothèque Modula-2 ;
- les modules distincts de la bibliothèque standard qu'une implémentation conforme est tenue de fournir ;
- les violations des règles d'utilisation du langage, des modules système et des modules de bibliothèque standards qu'une implémentation conforme est tenue de détecter ;
- certains critères de taille et de complexité des programmes qu'une implémentation conforme doit accepter ;
- d'autres exigences de conformité pour les mises en œuvre, y compris les exigences en matière de documentation.

1.3 Spécifications n'entrant pas dans le champ d'application de cette partie de l'ISO/IEC 10514

La présente partie de l'ISO/CEI 10514 ne fournit aucune spécification pour :

- la représentation sous-jacente des types de données prédéfinis (sauf dans le cas des types packset ; voir 7.1.7.1) ;
- la méthode par laquelle les implémentations sont invoquées (y compris l'identification du module de programme et des modules de définition et de mise en œuvre associés) ;
- la méthode par laquelle les modules de compilation sont stockés (y compris la correspondance entre les noms de modules et les noms de fichiers système où les fichiers sont utilisés) ;
- la méthode par laquelle les implémentations acceptent les entrées (y compris le codage du texte source et le nombre de modules de compilation acceptés pour chaque invocation) ;
- les aspects de performance des implémentations, et certains aspects de qualité non couverts par 1.2 ;
- l'effet de l'exécution d'un programme qui utilise des extensions du langage, des extensions des modules système ou des extensions des modules de bibliothèque standard, ou qui s'écarte autrement de cette partie de l'ISO/IEC 10514 ;
- l'effet de la poursuite de l'exécution d'un programme dans lequel une exception s'est produite et l'exécution s'est poursuivie sans qu'une exception ne soit levée ;
- le sens d'un programme qui s'appuie sur une définition de valeurs ou de comportements dépendants de la mise en œuvre.