PROGRAMMATION

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, 2^e é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, 2^e é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, n^o 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, 2^e éd. 2000

C. Morgan, Programming from Specification, Prentice Hall, New York, 2^e é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.