Le Langage Ada - Theorie Et Pratique
Miguel Alabau

ADA est le premier langage de l'histoire à être le fruit d'un cahier des charges, résultant d'un appel d'offres lancé par le Département de la Défense des Etats-Unis pour définir "un nouveau langage à vocation universelle approprié à la programmation des systèmes embarqués, dans le but de produire des programmes fiables, faciles à maintenir, efficaces et lisibles". Né en 1979, il a fait l'objet de plusieurs normes : ANSI (1983), ISO (1987) et AFNOR (1989). Il réalise en particulier la synthèse de nombreux concepts informatiques déjà utilisés à l'époque de sa conception, mais jamais encore réunis dans un même langage - modularité, généricité, parallélisme, précision numérique, dérivation des types et sous-types... qui le rendent particulièrement adapté au développement d'applications de grande taille, devant évoluer rapidement sans entraîner des coûts de maintenance prohibitifs. Résolument pédagogique et concis, se reportant au manuel de référence du langage (ARM), ce cours, dispensé par l'auteur à l'université de Bordeaux-I, permet à l'étudiant de maîtriser rapidement ADA. Sans prétendre à l'exhaustivité, il lui fournit les bases nécessaires et suffisantes à la programmation effective de ce langage. Il expose ainsi l'ensemble des concepts, syntaxiques et sémantiques, du langage et les illustre d'exemples et d'exercices corrigés de difficulté croissante. Proposant par ailleurs une vision critique des structures du langage, il compare les concepts importants du langage à des mécanismes plus ou moins équivalents présents dans d'autres langages et discute certains des problèmes que les particularités du langage peuvent engendrer. Enfin, il prend en compte l'arrivée imminente d'une nouvelle version du langage ADA-9X, entièrement compatible avec ADA et en cours de normalisation par HSO. Les principaux aspects de ADA-9X y sont annoncés.