Conception Et Analyse Des Programmes Purement Fonctionnels

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.

Author: Christian Rinderknecht

Publisher: College Publications

Publication Date: May 10, 2012

Number of Pages: 546 pages

Binding: Paperback or Softback

ISBN-10: 1848900767

ISBN-13: 9781848900769