Conception Et Analyse Des Programmes Purement Fonctionnels [French]

By Christian Rinderknecht

Cette nouvelle dition contient de nouveaux chapitres pour les l ves de licence, o la progression est volontairement lente et chaque tape est expliqu e. Le chapitre sur le tri par interclassement a t r crit pour plus de clart et de nouveaux r sultats ont t inclus. Un grand chapitre sur XSLT a t ajout . Ce livre s'adresse a priori diff rents publics dont l'int r t commun est la programmation fonctionnelle. Pour les tudiants de licence, nous offrons une introduction tr s progressive la programmation fonctionnelle, en proposant de longs d veloppements sur les algorithmes sur les piles et quelques types d'arbres binaires. Nous abordons aussi l' tude de l'allocation m moire travers la synonymie (partage dynamique de donn es), le r le de la pile de contr le et du tas, le glanage automatique de cellules (GC), l'optimisation des appels terminaux et le calcul de la m moire totale allou e. Avec le langage fonctionnel Erlang, nous approfondissons les sujets de la transformation de programme vers la forme terminale, les fonctions d'ordre sup rieur et le style avec continuations. Une technique de traduction de petits programmes fonctionnels vers Java est aussi pr sent e. Pour les tudiants de master, nous associons tous les programmes fonctionnels l'analyse math matique d taill e de leur co t (efficacit ) minimum et maximum, mais aussi moyen et amorti. La particularit de notre approche est que nos outils math matiques sont l mentaires (analyse r elle, induction, d nombrement) et nous recherchons syst matiquement des encadrements explicites de fa on d duire des quivalences asymptotiques. Par ailleurs, nous couvrons en d tail des preuves formelles de propri t s, comme la correction, la terminaison et l' quivalence. Pour les professionnels qui ne connaissent pas les langages fonctionnels et qui doivent apprendre programmer avec le langage XSLT, nous proposons une introduction XSLT qui s'appuie directement sur la partie d di e aux tudiants de licence. La raison de ce choix didactique inhabituel repose sur le constat que XSLT est rarement enseign l'universit ou dans les coles d'ing nieurs, donc les programmeurs qui n'ont pas t familiaris s la programmation fonctionnelle font face aux deux d fis d'apprendre un nouveau paradigme et d'employer XML pour programmer: alors que le premier met en avant la r cursivit , le second l'obscurcit cause de la verbosit intrins que XML. En apprenant d'abord un langage fonctionnel abstrait, puis XML, nous esp rons favoriser un transfert de comp tence vers la conception et la r alisation en XSLT sans interm diaire.

• Format: Paperback
• Language: French
• ISBN: 1848900767
• ISBN13: 9781848900769
• Release Date: May 2012
• Publisher: College Publications
• Length: 560 Pages
• Weight: 1.71 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"