Rayon Développement d'applications, langages de programmation
Programmation fonctionnelle : spécifications et applications : Isetl, Clean, Haskell, Poly-ML

Fiche technique

Format : Broché
Nb de pages : 572 pages
Poids : 710 g
Dimensions : 15cm X 21cm
EAN : 9782854286083

Programmation fonctionnelle

spécifications et applications
Isetl, Clean, Haskell, Poly-ML


Paru le
Broché 572 pages

Quatrième de couverture

À 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.

Biographie

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.

Avis des lecteurs

Du même auteur : Alain Couturier

Programmation fonctionnelle appliquée aux calculs scientifiques. Vol. 1. Mé

Le manuscrit de Humboldt

Les saisons d'un pêcheur

Adelina Bonpland : la viajera olvidada

Programmation fonctionnelle appliquée aux calculs scientifiques. Vol. 2. Mé

Léon Pallière : le peintre français de la pampa

Du même auteur : Gérald Jean-Baptiste

Programmation fonctionnelle appliquée aux calculs scientifiques. Vol. 1. Mé

Programmation fonctionnelle appliquée aux calculs scientifiques. Vol. 2. Mé