Programmation récursive (en Scheme)

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/

Sommaire

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

Biographie des auteurs
Anne Brygoo - Maître de conférences à l'université Pierre-et-Marie-Curie (Jussieu)
Titou Durand - Maître de conférences à l'UPMC
Maryse Pelletier - Maître de conférences à l'UPMC
Christian Queinnec - Professeur à l'UPMC
Michèle Soria - Professeur à l'UPMC (responsable du Master d'informatique).

Publics

Étudiants en licence d'informatique; Élèves ingénieurs; Étudiants en Master d'autres disciplines suivant un cours d'initiation à l'informatique.

Mots-clés

Programmation, Informatique