Cours CAML-Ada

Michel Lemaitre (lemaitre@tls-cs.cert.fr)
Thu, 1 Oct 92 10:04:54 GMT

To: caml-list@margaux
Subject: Cours CAML-Ada

Un cours en francais d'initiation a la programmation reposant sur CAML
vient de sortir.

Ce cours est donne en premier cycle du CNAM. Il commence par une
approche fonctionnelle de la programmation (avec CAML Light) relayee
par l'apprentissage des langages imperatifs (avec Ada). Il montre
comment passer harmonieusement d'un texte ecrit dans le style
fonctionnel a un texte ecrit dans un langage de programmation
classique. L'approche repose sur une description semantique simplifiee
des concepts utilises en programmation (incluant modes de portee des
identificateurs, polymorphisme, filtrage, exceptions, modules et
genericite). Il contient de nombreux exercices corriges.

Titre : Concepts et outils de programmation
le style fonctionnel, le style imperatif
avec CAML et Ada

Auteurs :
Therese Accart Hardin et Veronique Donzeau-Gouge Viguie

Editeur : InterEditions
ISBN 2 7296 0419 7

Il sera disponible dans toutes les (bonnes) librairies a partir du 13
Octobre (environ 250F).

donzeau@margaux.inria.fr
hardin@margaux.inria.fr