English
version

Accueil
À
propos     Téléchargement
Ressources
Contactez-nous

Livres à propos de Caml

Pages voisines

À propos

Un aperçu du
langage et des outils Caml

Une centaine de
lignes de Caml

Une histoire de
Caml

Quelques
succès

Objective
Caml: une bête à concours

Quelques articles à
propos de Caml

Livres à propos de
Caml

Sur cette page

Livres en
anglais

Livres en
français

Livres en
allemand

Livres en
italien

Livres en anglais

[1]

Emmanuel Chailloux, Pascal Manoury et Bruno
Pagano. Developing Applications With Objective
Caml. Traduction anglaise de “Développement
d'applications avec Objective Caml”.

[ Version en
ligne ]

Un ouvrage très complet (742 pages) sur Objective Caml,
qui couvre non seulement le noyau du langage, mais aussi les modules, les
objets et les classes, la programmation système et l'interopérabilité avec
C.

[2]

Guy Cousineau et Michel Mauny. The Functional Approach to Programming. Cambridge University Press, Cambridge, 1998, ISBN 0-521-57183-9
(relié) ou 0-521-57681-4 (broché).

[ Page web de
l'ouvrage | Commander
chez Amazon.com ]

Cet ouvrage utilise Caml comme un outil pour introduire
les principaux concepts de la programmation. Il est divisé en trois
parties. La première partie est une introduction à Caml, qui présente le
langage lui-même, mais traite également d'évaluation par réécriture, de
stratégies d'évaluation et de preuves de programmes par induction. La
deuxième partie est dédiée à la description de programmes exemples, reliés
à des sujets divers et pouvant ainsi intéresser différents types de
lecteurs et d'étudiants. Enfin, la troisième partie est dédiée à
l'implémentation. Elle décrit l'interprétation puis la compilation, avec
une brève description de la gestion de la mémoire et de la synthèse de
types.

[3]

Jon D. Harrop. OCaml for Scientists. Flying Frog
Consultancy Ltd, 2005.

[ Page
Web du livre | Comment
commander ]

Ce livre introduit la programmation en Objective Caml sous
l'angle de ses utilisations pour le calcul scientifique. De nombreux
exemples couvrent tout le spectre depuis le calcul numérique de base
jusqu'à la visualisation 3D temps-réel avec OpenGL. Le livre contient plus
de 800 morceaux de code source et des douzaines de diagrammes illustrant
la puissance de la programmation fonctionnelle. Il explique comment
construire en OCaml des programmes à la fois très rapides et
remarquablement simples.

Livres en français

Programmation en Caml

[4]

Emmanuel Chailloux, Pascal Manoury et Bruno
Pagano. Développement d'applications avec Objective
Caml. Éditions O'Reilly, Paris, 2000, ISBN
2-84177-121-0.

[ Version en
ligne | Page
du catalogue O'Reilly | Commander chez
Amazon.fr ]

Un ouvrage très complet (742 pages) sur Objective Caml,
qui couvre non seulement le noyau du langage, mais aussi les modules, les
objets et les classes, la programmation système et l'interopérabilité avec
C.

[5]

Xavier Leroy et Pierre Weis. Manuel de référence du langage Caml. InterEditions, Paris, 1993, ISBN 2-7296-0492-8.

[ Commander chez
Amazon.fr ]

Écrit par deux des implémenteurs du compilateur Caml
Light, ce livre décrit de manière exhaustive toutes les constructions du
langage de programmation et fournit une documentation complète du système
Caml Light.

Enseignement de la programmation
avec Caml

[6]

Pierre Weis et Xavier Leroy. Le langage Caml. Seconde édition :
Dunod, Paris, 1999, ISBN 2-10-004383-8. Première édition :
InterEditions, Paris, 1993.

[ Commander chez
Amazon.fr ]

Ce livre permet d'aborder la programmation en Caml de
façon simple et concrète. Véritable cours de programmation, il introduit
progressivement les mécanismes du langage et les montre à l'oeuvre face
aux problèmes fondamentaux de la programmation. Outre de nombreux exemples
introductifs, ce livre détaille la conception et la réalisation de six
programmes complets et réalistes illustrant des domaines réputés
difficiles: compilation, synthèse de types, automates, etc.

[7]

Guy Cousineau et Michel Mauny. Approche fonctionnelle de la programmation. Ediscience (Collection Informatique), Paris, 1995, ISBN
2-84074-114-8.

[ Page web de
l'ouvrage ]

Cet ouvrage utilise Caml comme un outil pour introduire
les principaux concepts de la programmation. Il est divisé en trois
parties. La première partie est une introduction à Caml, qui présente le
langage lui-même, mais traite également d'évaluation par réécriture, de
stratégies d'évaluation et de preuves de programmes par induction. La
deuxième partie est dédiée à la description de programmes exemples, reliés
à des sujets divers et pouvant ainsi intéresser différents types de
lecteurs et d'étudiants. Enfin, la troisième partie est dédiée à
l'implémentation. Elle décrit l'interprétation puis la compilation, avec
une brève description de la gestion de la mémoire et de la synthèse de
types.

[8]

Bruno Petazzoni. Seize problèmes d'informatique. Éditions Springer, Paris, 2001, ISBN 3-540-67387-3.

[ Page
du catalogue Springer ]

Ce livre propose seize problèmes d'informatique,
accompagnés de réponses détaillées à toutes les questions et de solutions
complètes aux problèmes algorithmiques, données sous forme de programmes
Caml. Il traite principalement d'automates, de mots finis ou infinis, de
théorie des langages formels, et d'algorithmes classiques tels que ceux de
mise en boîtes (« bin-packing »). Il s'adresse à des étudiants
d'option informatique en classes préparatoires MPSI/MP, mais peut
également être utile à tous les enseignants et étudiants en informatique,
jusqu'au niveau du mastère.

[9]

Michel Quercia. Nouveaux exercices d'algorithmique. Éditions Vuibert, Paris, 2000, ISBN 2-7117-8990 X.

[ Commander chez
Amazon.fr ]

Ce livre présente 103 exercices et 5 problèmes
d'algorithmique, pour des étudiants de premier cycle. Il tente d'aborder à
la fois des questions pratiques et théoriques. Les programmes sont écrits
en Caml, dans un style purement fonctionnel. Les problèmes abordés
incluent la méthodologie de programmation, les listes, l'évaluation de
formules, la logique booléenne, la complexité algorithmique, les arbres,
langages, et automates.

[10]

Denis Monasse. Option informatique MPSI. Éditions
Vuibert (Enseignement supérieur & Informatique), Paris, 1996, ISBN
2-7117-8831-8.

Il s'agit d'un cours d'Informatique pour étudiants en
première année des « Classes préparatoires aux grandes Écoles ».
Le cours débute par une introduction aux algorithmes et une description du
langage Caml. Plusieurs algorithmes fondamentaux sont décrits et illustrés
à l'aide de programmes Caml. Le livre adopte une approche
mathématique : les descriptions mathématiques des objets sont reliées
aux structures de données du langage de programmation. Cet ouvrage est
destiné à des étudiants avec des connaissances en mathématiques, et à tous
ceux qui veulent apprendre les bases de l'informatique théorique.

[11]

Denis Monasse. Option informatique MP/MP*. Éditions
Vuibert (Enseignement supérieur & Informatique), Paris 1997, ISBN
2-7117-8839-3.

[ Commander chez
Amazon.fr ]

Ce livre prolonge le précédent pour des élèves de deuxième
année en « Classes préparatoires aux grandes Écoles ». Il aborde
les arbres, les expressions algébriques, les automates et les langages,
ainsi que les flux Caml. Cet ouvrage contient plus de 200 programmes en
Caml.

[12]

Luc Albert. Cours
et exercices d'informatique. Thomson Publishing
International, Paris, 1997, ISBN 2-84180-106-3.

Ce livre a été écrit par des enseignants en Université et
en classes préparatoires aux grandes écoles. Il est destiné à des
étudiants d'option informatique en classes préparatoires ainsi qu'aux
étudiants engagés dans un cursus d'informatique jusqu'au niveau mastère.
Il comprend un tutoriel du langage Caml, un cours d'algorithmique, de
structures de données, de théorie des automates et de logique formelle,
ainsi que 135 exercices avec leurs solutions.

[13]

Thérèse Accart Hardin et Véronique
Donzeau-Gouge Viguié. Concepts et outils de
programmation. InterEditions, ISBN 2 7296 0419
7.

[ Commander chez
Amazon.fr ]

Ce livre présente une nouvelle approche pour
l'enseignement des concepts de la programmation aux débutants, basée sur
la sémantique des languages. Un modèle sémantique simplifié est utilisé
pour décrire précisément les fonctionalités présentes dans la plupart des
langages de programmation. Ce modèle est suffisemment puissant pour
expliquer le typage, le polymorphisme, les effets de bord, la modularité,
les exceptions. Cependant, il est assez simple pour être manipulé à la
main, de telle sorte que les étudiants peuvent réellement l'employer pour
calculer. Le livre commence par une approche fonctionnelle, basée sur
Caml, puis continue par la présentation d'un langage impératif : Ada.
Il fournit également de nombreux exercices avec leurs solutions.

[14]

Jacques Rouablé. Programmation en Caml. Eyrolles, Paris
1997, ISBN 2-212-08944-9.

[ Commander chez
Amazon.fr ]

Ce livre s'adresse aux débutants qui y trouveront les
notions de base de la programmation. La première partie de l'ouvrage est
un cours qui initie le lecteur au langage Caml. Les notions importantes
sont présentées de manière pratique, et l'implantation de certaines
d'entre elles est analysée et esquissée. La deuxième partie,
« l'atelier Caml », est une application pratique de ces notions
à d'autres domaines reliés à l'informatique, la logique, les automates et
les grammaires.

[15]

Catherine Dubois et Valérie
Ménissier Morain. Apprentissage de la programmation avec
OCaml. Hermès Sciences, Paris 2004, ISBN
2-7462-0819-9.

L'apprentissage de la programmation permet de maîtriser
les trois points forts d'un ordinateur, à savoir : une mémoire très grande
et ordonnée, une capacité à effectuer inlassablement des tâches
répétitives et surtout une grande rapidité de calcul. Pour pouvoir écrire
des programmes corrects et répondant au besoin énoncé, il est
indispensable de connaître la sémantique précise du langage. Cet ouvrage
est destiné à des débutants en informatique, plus précisément en
programmation. Il est également un support pédagogique pour tout
programmeur désireux d'aborder le style fonctionnel, disons le style ML.
Les notions retenues dans cet ouvrage sont disponibles dans tout dialecte
de ML, en particulier que ce soit Caml-Light, OCaml et Standard ML. La
plupart des concepts mis en oeuvre dans cet ouvrage, illustrés en OCaml,
peuvent se transposer aisément à d'autres langages de programmation.

[16]

Philippe Narbel. Programmation fonctionnelle, générique et objet: une
introduction avec le langage OCaml. Vuibert, Paris
2005, ISBN 2-7117-4843-X.

Aujourd'hui, les langages sont très nombreux, et les
styles de programmation qu'ils offrent se multiplient (programmation
générique, objet, impérative, fonctionnelle). Pourtant, les différents
styles de programmation sont souvent méconnus. L'idée de ce livre est donc
de les introduire, de les illustrer, de les comparer, de les associer, et
cela essentiellement à la lumière d'un langage de la famille des ML :
OCaml. A l'aide de beaucoup d'exemples, sont abordés entre autres : une
introduction aux mécanismes et aux concepts de base associés à la
programmation fonctionnelle ; une synthèse des techniques favorisées par
la programmation fonctionnelle ; une comparaison entre la programmation
fonctionnelle et impérative ; une introduction à la programmation
modulaire typée et sa généralisation, la programmation modulaire générique
(mise en oeuvre par des « fonctions de modules ») ; un florilège de
techniques de programmation générique ; une introduction aux notions de
base de la programmation objet dans un cadre strictement typé ; les
combinaisons possibles entre programmation fonctionnelle, générique et
objet.

Livres en allemand

[17]

Juergen Wolff von Gudenberg. Algorithmen, Datenstrukturen, Funktionale Programmierung. Eine
praktische Einführung mit Caml Light. Addison-Wesley, Bonn, 1996.

Ce livre donne une introduction à la programmation où les
algorithmes, de même que les structures de données, sont considérés
fonctionnellement. Il est destiné à servir d'accompagnement pour des cours
élémentaires en informatique, mais également pour l'auto-apprentissage.
Dans la première partie, les algorithmes sont décrits de manière concise
et précise en utilisant Caml Light. La deuxième partie donne une
introduction tutorielle au language Caml Light, et le dernier chapitre est
une description complète du noyau du language.

Livres en italien

[18]

Carla Limongelli et Marta Cialdea.
Introduzione alla programmazione funzionale.
Societa' Editrice Esculapio, 2002, ISBN
88-7488-031-6.

Dernière mise à jour de cette page : 2005-01-11.
Plan du site    Rechercher
© INRIA 1995-2005. Tous droits réservés.