Cet ouvrage présente les fondements de la programmation récursive et ses mécanismes d'évaluation. Il pose des bases solides qui permettront d'aborder ensuite les autres facettes de l'informatique.

Le langage utilisé est Scheme, mais les principes énoncés (spécification et implantation, structures de données, validité et efficacité) s'appliquent également aux autres langages. Les cinq premiers chapitres portent sur quelques principes de base en programmation, en particulier la récursion vue sur les entiers et sur les listes. Les chapitres 6 à 10 abordent d'autres aspects essentiels de la programmation comme les structures de données, la récursion sur les arbres, les grammaires, pour aboutir finalement à l'interprète de Scheme en Scheme.

Pour illustrer les notions développées dans la partie de cours, l'ouvrage comporte une cinquantaine de problèmes, tous corrigés. Il est accompagné de compléments en ligne : un environnement de programmation, des questions d'auto-évaluation et des exercices progressifs permettant un travail autonome sur machine. Ces compléments sont accessibles à l'adresse www.infop6.jussieu.fr/cederoms/li101/

Public : Etudiants en licence d'informatique ; Elèves ingénieurs ; Etudiants en Master d'autres disciplines suivant un cours d'initiation à l'informatique.

• Noyau de Scheme
• Art et usage des spécifications
• Récursion
• Structure de liste
• Fonctionnelle
• Modèle par substitution
• Structuration des données
• Structures arborescentes
• Du bon usage des grammaires
• Evaluateur
• Carte de référence