Nantilus
Concepts et sémantique des langages de programmation : 2
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 deuxième volume présente un module sémantique original commun aux...
Enregistré dans:
| Auteurs principaux : | , , , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Concepts et sémantique des langages de programmation. 2. onstructions modulaires et objet avec OCaml, Python, C++, Ada et Java / Thérèse Hardin, Mathieu Jaume, François Pessaux... [et al.] |
| Publié : |
London :
ISTE editions
, C 2021 |
| Description matérielle : | 1 vol. (VII-241 p.) |
| Collection : | Collection informatique (London) |
| Sujets : |
| LEADER | 03300cam a2200493 4500 | ||
|---|---|---|---|
| 001 | PPN254004350 | ||
| 003 | http://www.sudoc.fr/254004350 | ||
| 005 | 20230126060200.0 | ||
| 010 | |a 978-1-78405-702-2 |b br. | ||
| 035 | |a (OCoLC)1240722043 | ||
| 073 | 1 | |a 9781784057022 | |
| 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 2 |c onstructions modulaires et objet avec OCaml, Python, C++, Ada et Java |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. (VII-241 p.) |d 24 cm | ||
| 225 | 2 | |a Collection informatique | |
| 339 | |a Ce second volume présente un modèle sémantique adapté aux constructions et aux opérations des modules et des classes, telles que l'importation, la visibilité, les extensions ou la paramétrisation par types et valeurs. Ce modèle est décliné pour modéliser les traits objet et traiter les classes des langages de programmation courants comme Java, C ++ et Python. ©Electre 2021 | ||
| 314 | |a Autre contributeur : V. Viguié Donzeau-Gouge (Auteure) | ||
| 320 | |a Bibliogr. p. [233]-234. 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 deuxième volume présente un module sémantique original commun aux constructions et opérations des modules et des classes : visibilité, importation, exportation, définitions différées, paramétrisation par types et valeurs, extensions. Ce modèle fonde l'étude des modules d'Ada, OCaml et des fichiers d'en-tête de C. Il est décliné pour modéliser les traits objet puis utilisé pour traiter les classes de C++, Java, Python et OCaml. "Concepts et sémantique des langages de programmation 2" 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, Gestion des noms : modèle et opérations |p P. 63 |b 2, Les modules |p P. 95 |b 3, Traits orientés objet |p P. 125 |b 4, Les classes dans différents langages | |
| 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 PPN029548276 |a Programmation orientée objets (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:696742403 |b 441092104 |j u | ||
| 998 | |a 886266 | ||