Articles liés à Concepts et sémantique des langages de programmation:...

Concepts et sémantique des langages de programmation: Tome 1, Constructions fonctionnelles et impératives avec OCaml, Python, C et C++ - Couverture souple

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

 
9781784057015: Concepts et sémantique des langages de programmation: Tome 1, Constructions fonctionnelles et impératives avec OCaml, Python, C et C++
Couverture souple
ISBN 10 : 1784057010 ISBN 13 : 9781784057015
Editeur : Hermes Science Publishing Ltd, 2020

Synopsis

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 volume est dédié aux traits fonctionnels et impératifs. Il étudie formellement les sémantiques de typage et d'exécution, facilitant leur acquisition par leur implantation en OCaml et Python et par des exercices corrigés. La repré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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

Thérèse Hardin est professeur émérite au Laboratoire d'informatique de Paris 6 (LIP6), à Sorbonne-Université. Mathieu Jaume est maitre 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).

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Hermes Science Publishing Ltd
Date d'édition
2020
Langue
français
ISBN 10 
1784057010
ISBN 13 
9781784057015
Reliure
Broché
Nombre de pages
318
Coordonnées du fabricant
non disponible
Personne responsable
decitre
service.clients@decitre.fr

avenue C cité Berliet
st priest
france
69800
France