Chargement...
Chargement...

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

Auteur : Alain Couturier

Auteur : Gérald Jean-Baptiste

Paru le : 30/11/2003
Éditeur(s) : Cépaduès
Série(s) : Non précisé.
Collection(s) : Non précisé.
Contributeur(s) : Non précisé.

56,00 €
Expédié en 5 à 7 jours.
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

Résumé

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 2017

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.

Fiche Technique

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 : 2-85428-608-1

EAN13 : 9782854286083

Format : Non précisé.

Reliure : Broché

Pages : 572

Hauteur : 21 cm / Largeur : 15 cm

Épaisseur : - cm

Poids : - g