Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++ - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Ouvrages Année : 2021

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

Thérèse Hardin
  • Fonction : Auteur
  • PersonId : 858297
Mathieu Jaume
  • Fonction : Auteur
  • PersonId : 901267
Veronique Viguie Donzeau-Gouge
  • Fonction : Auteur
  • PersonId : 964505

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.
Fichier non déposé

Dates et versions

hal-03030484 , version 1 (30-11-2020)

Identifiants

  • HAL Id : hal-03030484 , version 1

Citer

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⟩
331 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More