SCIENCES SUPAnne Brygoo
Titou Durand
Maryse Pelletier
Christian Queinnec
Michèle SoriaPROGRAMMATION 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/lil01/