Articoli correlati a Concepts et sémantique des langages de programmation:...

Concepts et sémantique des langages de programmation: Tome 2, Constructions modulaires et objet avec OCaml, Python, C++, Ada et Java - Brossura

Hardin, Thérèse; Jaume, Mathieu; Pessaux, François; Viguié, Véronique; Collectif

 
9781784057022: Concepts et sémantique des langages de programmation: Tome 2, Constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
Brossura
ISBN 10: 1784057029 ISBN 13: 9781784057022
Casa editrice: ISTE éditions, 2020

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull'autore

Thérèse Hardin est professeur émérite au Laboratoire d'informatique de Paris 6 (LIP6), à Sorbonne-Université. Mathieu Jaume est maître de conférences au Laboratoire d'informatique de Paris 6 (LIP6), à Sorbonne-Université. François Pessaux est professeur associé à l'Unité d'informatique et d'ingénierie des systèmes (U2IS) de l'ENSTA Paris. Véronique Viguié Donzeau-Gouge est professeur émérite au Centre d'études et de recherche en informatique (CEDRIC) du Conservatoire national des arts et métiers (Cnam Paris).

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
ISTE éditions
Data di pubblicazione
2020
Lingua
Francese
ISBN 10 
1784057029
ISBN 13 
9781784057022
Rilegatura
Copertina flessibile
Numero di pagine
241
Contatto del produttore
non disponibile
Persona responsabile
non disponibile