Nantilus
Concepts et sémantique des langages de programmation : 1 constructions fonctionnelles et impératives avec OCaml, Python, C et C++
Cet ouvrage explore les constructions syntaxiques des langages de programmation es plus courants avec un éclairage mathématique sur leurs sémantiques et une présentation précise des aspects matériels qui interfèrent avec le codage. Ce volume est dédié aux traits fonctionnels et impératifs. Il étudie...
Enregistré dans:
| Auteurs principaux : | , , , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Concepts et sémantique des langages de programmation. 1, constructions fonctionnelles et impératives avec OCaml, Python, C et C++ / Thérèse Hardin, Mathieu Jaume, François Pessaux... [et al.] |
| Publié : |
London :
ISTE editions
, C 2021 |
| Description matérielle : | 1 vol. (IX-308 p.) |
| Collection : | Collection informatique (London) |
| Sujets : |
| LEADER | 03451cam a2200505 4500 | ||
|---|---|---|---|
| 001 | PPN254001653 | ||
| 003 | http://www.sudoc.fr/254001653 | ||
| 005 | 20230126060200.0 | ||
| 010 | |a 978-1-78405-701-5 |b br. | ||
| 035 | |a (OCoLC)1240721965 | ||
| 073 | 1 | |a 9781784057015 | |
| 100 | |a 20210308h20212021k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a GB | ||
| 105 | |a y a 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 rdamedia | ||
| 200 | 1 | |a Concepts et sémantique des langages de programmation |h 1 |i constructions fonctionnelles et impératives avec OCaml, Python, C et C++ |f Thérèse Hardin, Mathieu Jaume, François Pessaux... [et al.] | |
| 214 | 0 | |a London |c ISTE editions | |
| 214 | 4 | |d C 2021 | |
| 215 | |a 1 vol. (IX-308 p.) |d 24 cm | ||
| 225 | 2 | |a Collection informatique | |
| 339 | |a Une présentation des constructions syntaxiques des langages de programmation et de leur sémantique, notamment de typage et d'exécution. Ce volume est consacré aux traits fonctionnels et impératifs, avec des exercices et la représentation des données détaillée : filtrage, boutisme, gestion de la mémoire, pointeurs, entre autres. ©Electre 2021 | ||
| 314 | |a Autre contributeur : V. Viguié Donzeau-Gouge (Auteure) | ||
| 320 | |a Bibliogr. p. [301]-302. Index | ||
| 330 | |a Cet ouvrage explore les constructions syntaxiques des langages de programmation es plus courants avec un éclairage mathématique sur leurs sémantiques et une présentation précise des aspects matériels qui interfèrent avec le codage. Ce volume est dédié aux traits fonctionnels et impératifs. Il étudie formellement les sémantiques de typage et d'exécution, factilitant leur acquisition par leur implantation en OCaml et en Python et par des exercices corrigés. La réprésentation des données est traitée en détail : types construits, filtrage, boutisme, pointeurs, gestion de la mémoire, etc., avec des exemples en OCaml, C et C++. "Concepts et sémantique des langages de programmation 1" s'adresse aux étudiants et enseignants des cursus informatiques ainsi qu'aux programmeurs chevronnés, qui y trouveront un guide de lecture des manuels de référence ainsi que les fondements de la vérification de programmes. |2 4e de couverture | ||
| 359 | 2 | |p P. 5 |b 1, Du matériel au logiciel |p P. 19 |b 2, Introduction à la sémantique des langages |p P. 39 |b 3, Sémantique des traits fonctionnels |p P. 81 |b 4, Sémantique des traits inpératifs |p P. 141 |b 5, Typage |p P. 183 |b 6, Types de données |p P. 229 |b 7, Pointeurs et gestion de la mémoire |p P. 251 |b 8, Exceptions | |
| 410 | | | |0 179497871 |t Collection informatique (London) | |
| 606 | |3 PPN084024682 |a Langages de programmation |x Sémantique |2 rameau | ||
| 606 | |3 PPN030287472 |a Langages de programmation |x Syntaxe |2 rameau | ||
| 606 | |3 PPN030510821 |a Programmation fonctionnelle (informatique) |2 rameau | ||
| 606 | |3 PPN112539629 |a Programmation impérative (informatique) |2 rameau | ||
| 700 | 1 | |3 PPN031540376 |a Accart Hardin |b Thérèse |4 070 | |
| 701 | 1 | |3 PPN177111712 |a Jaume |b Mathieu |4 070 | |
| 701 | 1 | |3 PPN180411071 |a Pessaux |b François |f 19..-.... |4 070 | |
| 701 | 1 | |3 PPN026834863 |a Donzeau-Gouge Viguié |b Véronique |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20210104 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20210511 |g AFNOR | |
| 979 | |a SCI | ||
| 930 | |5 441092104:696741253 |b 441092104 |j u | ||
| 998 | |a 886265 | ||