Rédigé comme support de cours, l'ouvrage décrit les fondements théoriques de la programmation fonctionnelle, l'étude de la spécification formelle et sa réalisation, ainsi que l'algorithme. Nombreux exemples utilisant divers langages (Istel, Clean, Haskell, Poly/ML). ©Electre 2024
À 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.
Paru le : 30/11/2003
Thématique : Langages de programmation
Auteur(s) : Auteur : Alain Couturier Auteur : Gérald Jean-Baptiste
Éditeur(s) :
Cépaduès
Collection(s) : Non précisé.
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782854286083
Reliure : Broché
Pages : 572
Hauteur: 21.0 cm / Largeur 15.0 cm
Épaisseur: 3.0 cm
Poids: 710 g
Carte fidélité
Mollat Radio
