Paru le 04/06/2003 | Broché 572 pages
Professionnels
À 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 1er cycle universitaire, spécialisés en informatique, il peut être un complément aux étudiants du 2e 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.
Maître de Conférence à l'Université de Nantes, Alain Couturier est Professeur au Conservatoire National des Arts et Métiers de Nantes.
Ingénieur en Informatique Scientifique, Gerald Jean-Baptiste est Enseignant au Conservatoire National des Arts et Métiers de Nantes, et Chargé d'enseignement à l'Institut Catholique d'Etudes Supérieures de la Roche-sur-Yon.
