TY  - BOOK
AU  - Hardin,Thérèse
AU  - Jaume,Mathieu
AU  - Pessaux,François
TI  - Concepts et Sémantique des Langages de Programmation 2
SN  - 9781784067021
AV  - P325.5.D38 A233 2021 
U1  - 401.430285 
PY  - 2020///
CY  - London
PB  - ISTE Editions Ltd.
KW  - Semantics-Data processing
KW  - Electronic books
N1  - Front cover -- Table des matières -- Préface -- Avant-propos -- Chapitre 1 -- Chapitre 2 -- Chapitre 3 -- Chapitre 4 -- Annexe -- Liste des notations -- Bibliographie -- Index -- Sommaire -- Back Cover
N2  - 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 modèle 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
UR  - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=6482578
ER  -