![Concepts et sémantique des langages de programmation. 2, Constructions modulaires et objet avec OCaml, Python, C++, Ada et Java / Thérèse Hardin, Mathieu Jaume, François Pessaux... [et al.] | Accart Hardin, Thérèse. Auteur](https://covers.syracuse.cloud/Cover/ICTL/MONO/NXzr7Kx-DXbMRGzxb-2s-w2/9781784057022/LARGE?fallback=https%3a%2f%2fbibliotheque.univ-catholille.fr%2fui%2fskins%2fICTL%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fMONO_LARGE.png "Plus d'infos sur 'Concepts et sémantique des langages de programmation. 2, Constructions modulaires et objet avec OCaml, Python, C++, Ada et Java / Thérèse Hardin, Mathieu Jaume, François Pessaux... [et al.]'")
0 avis
Concepts et sémantique des langages de programmation. 2, Constructions modulaires et objet avec OCaml, Python, C++, Ada et Java / Thérèse Hardin, Mathieu Jaume, François Pessaux... [et al.]
Livre
Edited by ISTE editions - 2021
"Cet ouvrage explore les constructions syntaxiques des langages de programmation les 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."
Autres documents dans la collection «Collection informatique (London)»
Se procurer le document
Autre format
Issus de la même oeuvre
Suggestions
Du même auteur
![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.] | Accart Hardin, Thérèse. Auteur](https://covers.syracuse.cloud/Cover/ICTL/MONO/Nr4-Zqp8OyoPWLs09TykGQ2/9781784057015/MEDIUM?fallback=https%3a%2f%2fbibliotheque.univ-catholille.fr%2fui%2fskins%2fICTL%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fMONO_MEDIUM.png "Plus d'infos sur '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.]'")
![Logique pour l'informatique / Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.] | Jaume, Mathieu. Auteur](https://covers.syracuse.cloud/Cover/ICTL/MONO/9_XO7kjRqv6_s8aDLctwuA2/9782340042612/MEDIUM?fallback=https%3a%2f%2fbibliotheque.univ-catholille.fr%2fui%2fskins%2fICTL%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fMONO_MEDIUM.png "Plus d'infos sur 'Logique pour l'informatique / Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.]'")
Du même sujet
![Object-oriented concepts, databases and applications / [edited] by Won Kim and Frederick H. Lochovsky |](https://covers.syracuse.cloud/Cover/ICTL/MONO/djxu5cLLcCaSOqr57HZ3ow2/0201144107/MEDIUM?fallback=https%3a%2f%2fbibliotheque.univ-catholille.fr%2fui%2fskins%2fICTL%2fportal%2ffront%2fimages%2fGeneral%2fDocType%2fMONO_MEDIUM.png "Plus d'infos sur 'Object-oriented concepts, databases and applications / [edited] by Won Kim and Frederick H. Lochovsky'")