Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada
"Bien que s'adressant à des débutants, les auteurs de ce livre ont délibérément choisi d'introduire leurs lecteurs aux concepts et aux outils de programmation les plus avancés. L'ouvrage commence par une parroche fonctionnelle de la programmation, relayée par l'apprentissage...
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada / Thérèse Accart Hardin,... Véronique Donzeau-Gouge Viguié,... |
Publié : |
Paris :
InterEditions
, DL 1992 |
Description matérielle : | 1 vol. (XIV-581 p.) |
Collection : | I.I.A. Informatique intelligence artificielle |
Sujets : |
LEADER | 04031cam a2200769 4500 | ||
---|---|---|---|
001 | PPN01265597X | ||
003 | http://www.sudoc.fr/01265597X | ||
005 | 20231026060500.0 | ||
010 | |a 2-7296-0419-7 |b br. |d [250 FRF] | ||
020 | |a FR |b 09301743 | ||
021 | |a FR |b DL 92-29805 | ||
033 | |a http://catalogue.bnf.fr/ark:/12148/cb355367091 | ||
035 | |a (OCoLC)27157817 | ||
035 | |a Evry1749 | ||
035 | |a lm75677 | ||
035 | |a DYNIX_BUPF_5426 | ||
035 | |a ocm27157817 | ||
035 | |a DYNIX_BUPTP_53059 | ||
035 | |a sib0415413 | ||
035 | |a DYNIX_BUNAN_172538 | ||
035 | |a frBN014648854 | ||
035 | |a FRBNF355367090000008 |z FRBNF35536709 | ||
073 | 2 | |a 9782729604196 | |
100 | |a 19921204h19921992k y0frey0103 ba | ||
101 | 0 | |a fre |e fre |2 639-2 | |
102 | |a FR | ||
105 | |a y za 001yy | ||
106 | |a r | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c n |2 rdamedia | ||
182 | 1 | |6 z01 |a n | |
183 | |6 z01 |a nga |2 RDAfrCarrier | ||
200 | 1 | |a Concepts et outils de programmation |e le style fonctionnel, le style impératif, avec Caml et Ada |f Thérèse Accart Hardin,... Véronique Donzeau-Gouge Viguié,... | |
214 | 0 | |a Paris |c InterEditions |d DL 1992 | |
215 | |a 1 vol. (XIV-581 p.) |c couv. ill. en coul. |d 23 cm | ||
225 | 2 | |a IIA |i informatique, intelligence artificielle |x 0297-5416 | |
305 | |a Autre tirage : 2001 | ||
312 | |a La couv. porte en plus : "Informatique, intelligence artificielle" | ||
320 | |a Bibliogr. p. [575]-577. Index | ||
330 | |a "Bien que s'adressant à des débutants, les auteurs de ce livre ont délibérément choisi d'introduire leurs lecteurs aux concepts et aux outils de programmation les plus avancés. L'ouvrage commence par une parroche fonctionnelle de la programmation, relayée par l'apprentissage des langages impératifs, et montre comment passer harmonieusement d'un texte écrit dans le style fonctionnel à un texte écrit dans un langage de programmation "classique". Les langages choisis comme supports de démonstration sont le langage fonctionnel CAML et le langage impératif Ada. De nombreux exemples et exercices clarifient les approches théoriques et permettent au lecteur de tester sa compréhension. Toutes les solutions sont fournies. Ce cours repose sur l'expérience pédagogique des auteurs en premier cycle du CNAM." (source : 4ème de couverture) | ||
359 | 2 | |b 1. Programmation |b 2. Environnements |b 3. Fonctions |b 4. Polymorphisme, produits et filtrage |b 5. Types somme |b Exceptions |b 7. Listes |b 8. De la spécification au programme |b 9. Vers le monde impératif |b 10. Compilation et modularité |b 11. Présentation des langages impératifs |b 12. Fonctions en Ada |b 13. Les procédures |b 14. Retour sur les exceptions |b 15. Les types et valeurs |b 16. Types accès et types récursifs |b 17. Les modules |b 18. Corrigés | |
410 | | | |0 039495663 |t I.I.A. Informatique intelligence artificielle |x 0297-5416 | |
606 | |3 PPN030510821 |a Programmation fonctionnelle (informatique) |2 rameau | ||
606 | |3 PPN02787432X |a Langages de programmation fonctionnelle |2 rameau | ||
606 | |3 PPN027241378 |a Microordinateurs |x Programmation |2 rameau | ||
606 | |3 PPN031546013 |a Caml Light (langage de programmation) |2 rameau | ||
606 | |3 PPN027390756 |a Ada (langage de programmation) |2 rameau | ||
675 | |a 681.3.06 | ||
676 | |a 005.4 | ||
680 | |a QA76.9 | ||
686 | |a D.1 |2 acm | ||
686 | |a D.3 |2 acm | ||
700 | 1 | |3 PPN031540376 |a Accart Hardin |b Thérèse |4 070 | |
701 | 1 | |3 PPN026834863 |a Donzeau-Gouge Viguié |b Véronique |4 070 | |
801 | 1 | |a US |b OCLC |g AACR2 | |
801 | 2 | |a FR |b AUROC |g AFNOR | |
801 | 3 | |a FR |b SF |g AFNOR | |
801 | 3 | |a FR |b BN |g AFNOR | |
801 | 3 | |a FR |b Abes |c 20220218 |g AFNOR | |
979 | |a IUTN | ||
915 | |5 441842101:179395394 |a 0100008327 |b 0100008327 | ||
919 | |5 441842101:179395394 |a 0100008327 | ||
930 | |5 441842101:179395394 |b 441842101 |j u | ||
930 | |5 441092206:801178991 |b 441092206 |j s | ||
991 | |5 441092206:801178991 |a Exemplaire créé en masse par ITEM. le 25-10-2023 14:07 | ||
998 | |a 205962 |