Conception et analyse des programmes purement fonctionnels (French Edition)

Note moyenne 0
( 0 avis fournis par Goodreads )
 
9781848900769: Conception et analyse des programmes purement fonctionnels (French Edition)

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter neuf Afficher le livre
EUR 21,97

Autre devise

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

1.

Christian Rinderknecht
Edité par College Publications, United Kingdom (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 10
impression à la demande
Vendeur
The Book Depository
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre College Publications, United Kingdom, 2012. Paperback. État : New. Language: French . Brand New Book ***** Print on Demand *****.Cette nouvelle edition contient de nouveaux chapitres pour les eleves de licence, ou la progression est volontairement lente et chaque etape est expliquee. Le chapitre sur le tri par interclassement a ete reecrit pour plus de clarte et de nouveaux resultats ont ete inclus. Un grand chapitre sur XSLT a ete ajoute. Ce livre s adresse a priori a differents publics dont l interet commun est la programmation fonctionnelle. Pour les etudiants de licence, nous offrons une introduction tres progressive a la programmation fonctionnelle, en proposant de longs developpements sur les algorithmes sur les piles et quelques types d arbres binaires. Nous abordons aussi l etude de l allocation memoire a travers la synonymie (partage dynamique de donnees), le role de la pile de controle et du tas, le glanage automatique de cellules (GC), l optimisation des appels terminaux et le calcul de la memoire totale allouee. Avec le langage fonctionnel Erlang, nous approfondissons les sujets de la transformation de programme vers la forme terminale, les fonctions d ordre superieur et le style avec continuations. Une technique de traduction de petits programmes fonctionnels vers Java est aussi presentee. Pour les etudiants de master, nous associons a tous les programmes fonctionnels l analyse mathematique detaillee de leur cout (efficacite) minimum et maximum, mais aussi moyen et amorti. La particularite de notre approche est que nos outils mathematiques sont elementaires (analyse reelle, induction, denombrement) et nous recherchons systematiquement des encadrements explicites de facon a deduire des equivalences asymptotiques. Par ailleurs, nous couvrons en detail des preuves formelles de proprietes, comme la correction, la terminaison et l equivalence. Pour les professionnels qui ne connaissent pas les langages fonctionnels et qui doivent apprendre a programmer avec le langage XSLT, nous proposons une introduction a XSLT qui s appuie directement sur la partie dediee aux etudiants de licence. La raison de ce choix didactique inhabituel repose sur le constat que XSLT est rarement enseigne a l universite ou dans les ecoles d ingenieurs, donc les programmeurs qui n ont pas ete familiarises a la programmation fonctionnelle font face aux deux defis d apprendre un nouveau paradigme et d employer XML pour programmer: alors que le premier met en avant la recursivite, le second l obscurcit a cause de la verbosite intrinseque a XML. En apprenant d abord un langage fonctionnel abstrait, puis XML, nous esperons favoriser un transfert de competence vers la conception et la realisation en XSLT sans intermediaire. N° de réf. du libraire AAV9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 21,97
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

2.

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Pbshop
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre College Publications, 2012. PAP. État : New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire IQ-9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 21,84
Autre devise

Ajouter au panier

Frais de port : EUR 3,43
Vers Etats-Unis
Destinations, frais et délais

3.

Christian Rinderknecht
Edité par College Publications, United Kingdom (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 10
impression à la demande
Vendeur
The Book Depository US
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre College Publications, United Kingdom, 2012. Paperback. État : New. Language: French . Brand New Book ***** Print on Demand *****. Cette nouvelle edition contient de nouveaux chapitres pour les eleves de licence, ou la progression est volontairement lente et chaque etape est expliquee. Le chapitre sur le tri par interclassement a ete reecrit pour plus de clarte et de nouveaux resultats ont ete inclus. Un grand chapitre sur XSLT a ete ajoute. Ce livre s adresse a priori a differents publics dont l interet commun est la programmation fonctionnelle. Pour les etudiants de licence, nous offrons une introduction tres progressive a la programmation fonctionnelle, en proposant de longs developpements sur les algorithmes sur les piles et quelques types d arbres binaires. Nous abordons aussi l etude de l allocation memoire a travers la synonymie (partage dynamique de donnees), le role de la pile de controle et du tas, le glanage automatique de cellules (GC), l optimisation des appels terminaux et le calcul de la memoire totale allouee. Avec le langage fonctionnel Erlang, nous approfondissons les sujets de la transformation de programme vers la forme terminale, les fonctions d ordre superieur et le style avec continuations. Une technique de traduction de petits programmes fonctionnels vers Java est aussi presentee. Pour les etudiants de master, nous associons a tous les programmes fonctionnels l analyse mathematique detaillee de leur cout (efficacite) minimum et maximum, mais aussi moyen et amorti. La particularite de notre approche est que nos outils mathematiques sont elementaires (analyse reelle, induction, denombrement) et nous recherchons systematiquement des encadrements explicites de facon a deduire des equivalences asymptotiques. Par ailleurs, nous couvrons en detail des preuves formelles de proprietes, comme la correction, la terminaison et l equivalence. Pour les professionnels qui ne connaissent pas les langages fonctionnels et qui doivent apprendre a programmer avec le langage XSLT, nous proposons une introduction a XSLT qui s appuie directement sur la partie dediee aux etudiants de licence. La raison de ce choix didactique inhabituel repose sur le constat que XSLT est rarement enseigne a l universite ou dans les ecoles d ingenieurs, donc les programmeurs qui n ont pas ete familiarises a la programmation fonctionnelle font face aux deux defis d apprendre un nouveau paradigme et d employer XML pour programmer: alors que le premier met en avant la recursivite, le second l obscurcit a cause de la verbosite intrinseque a XML. En apprenant d abord un langage fonctionnel abstrait, puis XML, nous esperons favoriser un transfert de competence vers la conception et la realisation en XSLT sans intermediaire. N° de réf. du libraire AAV9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 25,36
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

4.

Rinderknecht, Christian
Edité par College Publications (2016)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 1
impression à la demande
Vendeur
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre College Publications, 2016. Paperback. État : New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. N° de réf. du libraire ria9781848900769_lsuk

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 22,28
Autre devise

Ajouter au panier

Frais de port : EUR 4,33
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

5.

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre College Publications, 2012. PAP. État : New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire LQ-9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 18,76
Autre devise

Ajouter au panier

Frais de port : EUR 10,08
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

6.

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Couverture souple Quantité : 1
impression à la demande
Vendeur
European-Media-Service Mannheim
(Mannheim, Allemagne)
Evaluation vendeur
[?]

Description du livre College Publications, 2012. État : New. This item is printed on demand for shipment within 3 working days. N° de réf. du libraire GM9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 26,09
Autre devise

Ajouter au panier

Frais de port : EUR 3,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

7.

Rinderknecht, Christian
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 10
Vendeur
Ergodebooks
(RICHMOND, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre College Publications, 2012. Paperback. État : New. N° de réf. du libraire INGM9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 27,12
Autre devise

Ajouter au panier

Frais de port : EUR 3,43
Vers Etats-Unis
Destinations, frais et délais

8.

Christian Rinderknecht
Edité par College Publications, United Kingdom (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 10
Vendeur
Book Depository hard to find
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre College Publications, United Kingdom, 2012. Paperback. État : New. Language: French . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. Cette nouvelle edition contient de nouveaux chapitres pour les eleves de licence, ou la progression est volontairement lente et chaque etape est expliquee. Le chapitre sur le tri par interclassement a ete reecrit pour plus de clarte et de nouveaux resultats ont ete inclus. Un grand chapitre sur XSLT a ete ajoute. Ce livre s adresse a priori a differents publics dont l interet commun est la programmation fonctionnelle. Pour les etudiants de licence, nous offrons une introduction tres progressive a la programmation fonctionnelle, en proposant de longs developpements sur les algorithmes sur les piles et quelques types d arbres binaires. Nous abordons aussi l etude de l allocation memoire a travers la synonymie (partage dynamique de donnees), le role de la pile de controle et du tas, le glanage automatique de cellules (GC), l optimisation des appels terminaux et le calcul de la memoire totale allouee. Avec le langage fonctionnel Erlang, nous approfondissons les sujets de la transformation de programme vers la forme terminale, les fonctions d ordre superieur et le style avec continuations. Une technique de traduction de petits programmes fonctionnels vers Java est aussi presentee. Pour les etudiants de master, nous associons a tous les programmes fonctionnels l analyse mathematique detaillee de leur cout (efficacite) minimum et maximum, mais aussi moyen et amorti. La particularite de notre approche est que nos outils mathematiques sont elementaires (analyse reelle, induction, denombrement) et nous recherchons systematiquement des encadrements explicites de facon a deduire des equivalences asymptotiques. Par ailleurs, nous couvrons en detail des preuves formelles de proprietes, comme la correction, la terminaison et l equivalence. Pour les professionnels qui ne connaissent pas les langages fonctionnels et qui doivent apprendre a programmer avec le langage XSLT, nous proposons une introduction a XSLT qui s appuie directement sur la partie dediee aux etudiants de licence. La raison de ce choix didactique inhabituel repose sur le constat que XSLT est rarement enseigne a l universite ou dans les ecoles d ingenieurs, donc les programmeurs qui n ont pas ete familiarises a la programmation fonctionnelle font face aux deux defis d apprendre un nouveau paradigme et d employer XML pour programmer: alors que le premier met en avant la recursivite, le second l obscurcit a cause de la verbosite intrinseque a XML. En apprenant d abord un langage fonctionnel abstrait, puis XML, nous esperons favoriser un transfert de competence vers la conception et la realisation en XSLT sans intermediaire. N° de réf. du libraire LIE9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 34,98
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

9.

Christian Rinderknecht
Edité par College Publications
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 20
Vendeur
BuySomeBooks
(Las Vegas, NV, Etats-Unis)
Evaluation vendeur
[?]

Description du livre College Publications. Paperback. État : New. Paperback. 546 pages. Dimensions: 9.1in. x 6.1in. x 1.2in.Cette nouvelle dition contient de nouveaux chapitres pour les lves de licence, o la progression est volontairement lente et chaque tape est explique. Le chapitre sur le tri par interclassement a t rcrit pour plus de clart et de nouveaux rsultats ont t inclus. Un grand chapitre sur XSLT a t ajout. Ce livre sadresse a priori diffrents publics dont lintrt commun est la programmation fonctionnelle. Pour les tudiants de licence, nous offrons une introduction trs progressive la programmation fonctionnelle, en proposant de longs dveloppements sur les algorithmes sur les piles et quelques types darbres binaires. Nous abordons aussi ltude de lallocation mmoire travers la synonymie (partage dynamique de donnes), le rle de la pile de contrle et du tas, le glanage automatique de cellules (GC), loptimisation des appels terminaux et le calcul de la mmoire totale alloue. Avec le langage fonctionnel Erlang, nous approfondissons les sujets de la transformation de programme vers la forme terminale, les fonctions dordre suprieur et le style avec continuations. Une technique de traduction de petits programmes fonctionnels vers Java est aussi prsente. Pour les tudiants de master, nous associons tous les programmes fonctionnels lanalyse mathmatique dtaille de leur cot (efficacit) minimum et maximum, mais aussi moyen et amorti. La particularit de notre approche est que nos outils mathmatiques sont lmentaires (analyse relle, induction, dnombrement) et nous recherchons systmatiquement des encadrements explicites de faon dduire des quivalences asymptotiques. Par ailleurs, nous couvrons en dtail des preuves formelles de proprits, comme la correction, la terminaison et lquivalence. 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 sappuie directement sur la partie ddie aux tudiants de licence. La raison de ce choix didactique inhabituel repose sur le constat que XSLT est rarement enseign luniversit ou dans les coles dingnieurs, donc les programmeurs qui nont pas t familiariss la programmation fonctionnelle font face aux deux dfis dapprendre un nouveau paradigme et demployer XML pour programmer: alors que le premier met en avant la rcursivit, le second lobscurcit cause de la verbosit intrinsque XML. En apprenant dabord un langage fonctionnel abstrait, puis XML, nous esprons favoriser un transfert de comptence vers la conception et la ralisation en XSLT sans intermdiaire. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. N° de réf. du libraire 9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 35,32
Autre devise

Ajouter au panier

Frais de port : EUR 3,39
Vers Etats-Unis
Destinations, frais et délais