PROGRAMMATION
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.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Jean-François MONIN : professeur des Universités, professeur à l'université de Grenoble-I-Joseph-Fourier
Classification
Autres références
-
ALGORITHME
- Écrit par Alberto NAIBO et Thomas SEILLER
- 5 919 mots
- 4 médias
...langage utilisé et de la représentation des données. Ainsi, il est possible d’écrire un programme calculant les éléments de la suite de Fibonacci dans deux langages de programmation différents, comme Python et C, tout en considérant qu’ils sont des réalisations, ou mieux, des implantations du même algorithme.... -
BREVET DU PREMIER ROBOT INDUSTRIEL
- Écrit par Pierre MOUNIER-KUHN
- 290 mots
Un inventeur indépendant, George C. De Vol, développe et brevette aux États-Unis, en 1954, un système d'enregistrement magnétique capable de commander les opérations d'une machine. Pour le vendre, il crée, avec l'ingénieur Joseph F. Engelberger, la première entreprise de robotique, Unimation Inc....
-
COBOL (common business oriented language)
- Écrit par Pierre GOUJON
- 332 mots
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....
-
FORTRAN (FORmula TRANslation)
- Écrit par François PÊCHEUX
- 314 mots
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...
- Afficher les 16 références
