318 pages - janvier 2021
ISBN papier : 9781784057015
ISBN ebook : 9781784067014

Papier
80,00
Ebook
9,90
 
Effacer

– Papier :
***Compte tenu de la situation sanitaire, les expéditions seront probablement ralenties***

Livraison offerte pour toute commande directe effectuée sur le site istegroup.com
Délai de livraison : environ deux semaines
Envois uniquement vers : France métropolitaine, Belgique, Suisse et Luxembourg
Impression en couleur
Un ebook de l’ouvrage (à l’exception des titres de l’Encyclopédie SCIENCES) est offert pour tout achat
de sa version papier sur notre site, il vous sera envoyé après la finalisation de votre commande
Offre non applicable aux librairies

– Ebook :
Prix réservé aux particuliers
Pour les institutions : nous contacter 
Nos ebooks sont au format PDF (compatible sur tout support)

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.

1. Du matériel au logiciel
2. Introduction à la sémantique des langages
3. Sémantique des traits fonctionnels
4. Sémantique des traits impératifs
5. Typage
6. Types de données
7. Pointeurs et gestion de la mémoire
8. Exceptions

Thérèse Hardin

Thérèse Hardin est professeur émérite au Laboratoire d’informatique de Paris 6 (LIP6), à Sorbonne-Université.

Mathieu Jaume

Mathieu Jaume est maître de conférences au Laboratoire d’informatique de Paris 6 (LIP6), à Sorbonne-Université.

François Pessaux

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

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).