Skip to Main content Skip to Navigation
Books

Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++

Résumé : 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.
Document type :
Books
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03030484
Contributor : Mathieu Jaume Connect in order to contact the contributor
Submitted on : Monday, November 30, 2020 - 10:09:04 AM
Last modification on : Friday, December 3, 2021 - 11:42:49 AM

Identifiers

  • HAL Id : hal-03030484, version 1

Citation

Thérèse Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge. Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++. ISTE Editions, 2021, 9781784057015. ⟨hal-03030484⟩

Share

Metrics

Record views

252