Bibliogr. p. 743-748. Index

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 a fait son entrée dans les premiers et deuxièmes cycles des universités françaises. Il est un support à l'enseignement de la programmation et de ses fondements. C'est non seulement un livre sur la programmation fonctionnelle avec Scheme, mais plus généralement un ouvrage d'accompagnement pour des cours sur l'intelligence artificielle, la logique, la sémantique, la compilation, ...
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.
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...

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
utils 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