Concepts et sémantique des langages de programmation. Vol. 1. Constructions fonctionnelles et impératives avec OCaml, Python, C et C ++
Versailles, Pontoise, Lyon 2ᵉ, Lyon 6ᵉ...
Ce que dit l'éditeurCet 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. |
RésuméUne présentation des constructions syntaxiques des langages de programmation et de leur sémantique, notamment de typage et d'exécution. Ce volume est consacré aux traits fonctionnels et impératifs, avec des exercices et la représentation des données détaillée : filtrage, boutisme, gestion de la mémoire, pointeurs, entre autres. ©Electre 2024 |
Caractéristiques Éditeur(s) Date de parution
15 novembre 2020
Collection(s)
Informatique
Rayon
Informatique
Contributeur(s) Thérèse Accart Hardin
(Auteur), Mathieu Jaume
(Auteur), François Pessaux
(Auteur), Véronique Donzeau-Gouge Viguié
(Auteur), Gilles Dowek
(Préfacier), Catherine Dubois
(Préfacier) EAN
9781784057015
Nombre de pages
308
pages
Reliure
Broché
Dimensions
24.0
cm x
16.0
cm x
1.7
cm
|