Encyclopædia Universalis, le portail de la connaissance
Zone de recherche

Dictionnaire

PROGRAMMATION

Les systèmes informatiques ont considérablement évolué, depuis les machines d'origine. On peut le mesurer à l'aune des puissances de calcul vertigineuses offertes par les ordinateurs modernes, qui s'expriment en teraflops (un teraflop représente un millier de milliards d'opérations arithmétiques par seconde). Mais il ne s'agit là que d'un aspect somme toute mineur de cette évolution. D'une part, avec les progrès en miniaturisation, des programmes ont été introduits dans de nombreux objets de la vie quotidienne, à vocation aussi bien ludique qu'utilitaire : transports, électroménager, cartes de paiement, appareils médicaux... D'autre part, ces systèmes programmés ne sont généralement pas isolés, mais fonctionnent en réseau : nous avons donc affaire à des programmes qui communiquent entre eux, voire se déplacent ou sont modifiés en cours d'exécution. Qu'y a-t-il de commun entre de tels programmes et ceux que l'on mettait au point sur les machines d'après guerre ? Beaucoup de choses en réalité. Nous allons donc commencer par passer en revue les aspects conceptuels, fondamentaux, qui caractérisent toute activité de programmation, avant d'aborder des aspects plus spécifiques des prob […]

… pour nos abonnés, l'article se prolonge sur 11 pages… Offre essai 7 jours

Autres références

« PROGRAMMATION » est également traité dans :

BREVET DU PREMIER ROBOT INDUSTRIEL

Auteur :  Pierre MOUNIER-KUHN

gestes humains, alors qu'elles seraient difficiles et coûteuses à programmer de façon numérique. *En revanche, une machine-outil n'a que quelques axes qu'il est plus aisé de modéliser mathématiquement. Dans la ligne des recherches menées durant la Seconde Guerre mondiale, divers ingénieurs développent alors des systèmes numériques et trouvent des… Lire la suite
COBOL (common business oriented language)

Auteur :  Pierre GOUJON

*Langage de programmation de haut niveau spécialement conçu pour des applications commerciales et des applications de gestion. Cobol autorise le traitement des gros fichiers sur supports séquentiels ou sélectifs à l'aide d'un vocabulaire et d'une syntaxe censés rappeler l'anglais courant. Cobol fut développé en 1959 au sein d'un comité de la Codasyl… Lire la suite
CONVERSION DE PROGRAMMES, informatique

Auteur :  Pierre GOUJON

*Une bibliothèque de programmes conçue en fonction d'une machine A ne peut s'adapter du jour au lendemain à une nouvelle installation dont les caractéristiques et le logiciel sont différents. Paradoxalement, l'installation d'un nouvel équipement plus performant peut provoquer une chute de rendement parfois dramatique. Plusieurs solutions peuvent… Lire la suite
FORTRAN (FORmula TRANslation)

Auteur :  François PÊCHEUX

Historiquement, *Fortran peut être décrit comme l'un des premiers langages de programmation de haut niveau ayant permis d'écrire de manière complète et détaillée des procédures de calcul ou des algorithmes complexes sans faire appel au langage d'assemblage. Sa syntaxe proche de celle du langage mathématique et sa simplicité font de lui un langage… Lire la suite
ITÉRATION, mathématique

Auteurs :  Jean-Paul DELAHAYE E.U.

then... else ; od désigne la fin de l'action commencée par do). *On oppose programmation itérativeet programmation récursive. Ce sont deux façons de concevoir la définition de certaines fonctions ou procédures. La première est bien sûr fondée sur l'idée d'itération. La seconde se fonde sur l'… Lire la suite

Afficher la liste complète (15 références)

Retour en haut

Bibliographie

J.-R. Abrial, The B-Book : Assigning Programs to Meanings, Cambridge University Press, Cambridge et New York, 1996

A. Aho, M. Lam, R. Sethi & J. D. Ullman, Compilateurs : principes, techniques et outils, Pearson Education, 2e éd. 2007

H. P. Barendregt, The Lambda Calculus : its Syntax and Semantics, coll. Studies in logic and the foundations of mathematics, vol. 103, Elsevier, Amsterdam, 2e éd. 1984

Y. Bertot & P. Castéran, Interactive Theorem Proving and Program Development : Coq'Art : The Calculus of Inductive Constructions, Springer, Berlin et New York, 2004

M. Bidoit, H.-J. Kreowski & al., Algebraic System Specification and Development : a Survey and Annotated Bibliography, Springer, Berlin et New York, 1991

R. S. Boyer & J. S. Moore, A Computational Logic, Academic Press, New York, 1979

E. Chailloux, P. Manoury & B. Pagano, Développement d'applications avec Objective Caml, O'Reilly, 2003 (http ://www.pps.jussieu.fr/Livres/ora/DA-OCAML/)

T. Cormen, C. E. Leiserson, R. L. Rivest & C. Stein, Introduction à l'algorithmique, Dunod, Paris, 2004

G. Cousineau & M. Mauny, Approche fonctionnelle de la programmation, Ediscience, Paris, 1995

E. W. Dijkstra, A Discipline of Programming, Prentice Hall, New York, 1976

F. Fages, Programmation logique par contraintes, Ellipses, Paris, 1996

R. W. Floyd, « Assigning meanings to programs », in J. T. Schwartz dir., Mathematical Aspects of Computer Sciences, coll. Proceedings of Symposia of Applied Mathematics, vol. 19, American Mathematical Society, Providence (Rhode Island), 1967

C. A. R. Hoare, « An axiomatic basis for computer programming », in Communications of the ACM, vol. 12, no 10, pp. 576-580 et 583, 1969 (http ://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf)

B. Meyer, Object-oriented Software Construction, Prentice Hall, New York, 1988

R. Milner, Communication and Concurrency, Prentice Hall, New York, 1989

J.-F. Monin, Introduction aux méthodes formelles, Hermès, Paris, 2e éd. 2000

C. Morgan, Programming from Specification, Prentice Hall, New York, 2e éd. 1994 (http ://users.comlab.ox.ac.uk/carroll.morgan/PfS)

B. Pierce, Types and Programming Languages, MIT Press, Cambridge, Massachusetts, 2002

P. Schnoebelen dir., Vérification de logiciels : techniques et outils du model-checking, Vuibert, Paris, 1999

A. M. Turing, in « Computability and λ-Definability », The Journal of Symbolic Logic, vol. 2, 1937

J. B. Wordsworth, Software Development with Z : a Practical Approach to Formal Methods in Software Engineering, Addison Wesley, Wokingham (G.-B.) et Reading (Mass.), 1992.

Retour en haut

Accueil - Contact - À propos
Consulter les articles d'Encyclopædia Universalis : 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Consulter les articles d'Encyclopædia Britannica.
© 2010, Encyclopædia Universalis France S.A. Tous droits de propriété industrielle et intellectuelle réservés.

chargement du média