Technologies de l'information - Langages de programmation - Ada

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

Ce document spécifie :

—   La forme d’un programme écrit en Ada ;

—   L’effet de la traduction et de l’exécution d’un tel programme ;

—   La manière dont les unités de programme peuvent être combinées pour former des programmes Ada ;

—   Les unités de bibliothèque définies par le langage qu’une implémentation conforme est tenue de fournir ;

—   Les variations admissibles de conformité aux règles de ce document et la manière dont elles doivent être documentées ;

—   Les violations des exigences de ce document qu’une implémentation conforme est tenue de détecter, ainsi que l’effet de la tentative de traduction ou d’exécution d’un programme contenant de telles violations ;

—   Les violations des exigences de ce document qu’une implémentation conforme n’est pas tenue de détecter.

Ce document ne précise pas :

—   Les moyens par lesquels un programme écrit en Ada est transformé en code objet exécutable par un processeur ;

—   Les moyens par lesquels la traduction ou l’exécution des programmes est invoquée et les unités d’exécution sont contrôlées ;

—   La taille ou la vitesse du code objet, ou la vitesse d’exécution relative des différentes constructions du langage ;

—   La forme ou le contenu des listes produites par les implémentations ; en particulier, la forme ou le contenu des messages d’erreur ou d’avertissement ;

—   L’effet d’une exécution non spécifiée ;

—   La taille d’un programme ou d’une unité de programme qui dépassera la capacité d’une implémentation conforme particulière.