Description

À travers les fondements théoriques de la programmation
fonctionnelle, ce livre expose le
cheminement, de l'étude de la spécification formelle
à l'application, en passant par l'algorithme. L'illustration
de l'application des algorithmes est représentée
sous différents langages (ISETL, CLEAN, HASKELL,
Poly/ML).

Cet ouvrage est un support pédagogique destiné aux
étudiants du 1^er cycle universitaire, spécialisés en
informatique, il peut être un complément aux étudiants
du 2^e cycle soucieux d'une programmation
proche des spécifications formelles. En outre, il peut
être un support de cours ou un didacticiel pour les
enseignants souhaitant approfondir ce domaine.

Les outils pour formaliser (Ensembles et Logiques, Logique
des propositions, Logique des prédicats) - Applications
avec le langage ISETL. Compléments sur les ensembles
(Correspondances, Relations binaires, ESIMs) - Applications
avec le langage ISETL. Les Types Abstraits (Le Type
Ensemble, Le Type Suite) - Application en ISETL. Programmer
en langage CLEAN. Programmer en langage
HASKELL. Compléments et Applications (Pliages, ZF
notation - Tris) - Applications en langages CLEAN et HASKELL.
Etude de cas et programmation CLEAN. Etude de
cas et programmation HASKELL. Programmer en langage
Poly/ML, Processus fonctionnels. Les arbres en fonctionnel
(Arbres binaires - Les 2 - 3 arbres - AVL) - Applications
en langages CLEAN, HASKELL, Poly/ML.