Programmer Avec Scheme - De La Pratique A La Theorie - Chazarain Jacques

. .

Résumé :
Le langage de manipulations symboliques Scheme fait partie de la famille Lisp. Il a été choisi depuis 1980 par les enseignants du MIT et le nombre de ses adeptes n'a fait qu'augmenter. Il fait maintenant son entrée dans les premiers et deuxièmes cycles des universités françaises. Ce simple fait en dit long sur les qualités de Scheme comme support à l'enseignement de la programmation et de ses fondements. Cet ouvrage de référence est conçu pour être utilisable avec profit aussi bien par un lecteur débutant que par un lecteur plus expérimenté. La richesse de son contenu permet de le recommander tout au long d'un cursus en informatique, du DEUG au DEA. C'est non seulement un livre sur la programmation fonctionnelle avec Scheme, mais plus généralement un excellent ouvrage d'accompagnement pour des cours sur l'intelligence artificielle, la logique, la sémantique, la compilation,... Les exemples utilisés ne sont pas de simples exemples d'école. Ils sont pertinents, significatifs et parfois même amusants. Le livre est structuré en deux parties : La première partie introduit progressivement le lecteur aux joies de la programmation avec Scheme (ou Lisp). Y sont expliqués les différents styles de programmation : fonctionnel, symbolique, par continuations, par objets, impératif, par macros, par flots,... Les méthodes récursives y jouent un rôle central, aussi l'auteur s'est efforcé d'en dissiper les mystères en les présentant sous une grande variété de points de vue. Chaque chapitre comporte des compléments sur des sujets variés : fractals, jeu donjon et dragon, contraintes et CAO, extension objet de Scheme, simulation et coroutines, visualisation en 3D, calcul formel, vie artificielle.... Ils ont aussi pour but d'exercer le lecteur à l'écriture de programmes de taille plus importante. De nombreux exemples et exercices permettent au lecteur de progresser à son rythme. La seconde partie explique la théorie et l'implantation des concepts de base en programmation : machines et automates finis, analyse lexicale et syntaxique, formatage de texte ou de formules, systèmes experts et Prolog, systèmes déductifs, lambda calcul, sémantique, interprétation, compilation.... La possibilité de programmer puis d'expérimenter une théorie est l'une des meilleures façons de l'assimiler, d'où le slogan de l'auteur : " Implanter pour mieux comprendre.

Biographie:
JACQUES CHAZARAIN est professeur à l'université de Nice Sophia Antipolis. Il y enseigne la programmation fonctionnelle (Scheme, Lisp, ML) depuis une douzaine d'années. Il est membre du laboratoire CNRS 13S à Sophia Antipolis où il est responsable de l'équipe Janus qui développe en particulier des environnements de programmation autour du langage Scheme.

Sommaire:
["Pratique de la programmation avec Scheme","Introduction au langage Scheme","Expressions symboliques","Programmation fonctionnelle","Programmation impérative","Environnements, fermetures et prototypes","Calcul numérique avec Scheme","Données structurées et algorithmes","Programmation par continuation","Macros et extensions syntaxiques","Fichiers, flux et flots","Programmation par objets","Outils formels pour le programmeur","Automates, langages et ordinateurs","Analyse lexicale et syntaxique","Affichage et formatage","Calcul propositionnel","Déduction naturelle et calcul des séquents","Filtrage et réécriture","Des systèmes experts à la programmation logique","Logique du premier ordre","Introduction au lambda calcul","Sémantique des langages de programmation","Introduction à la compilation."]