The?re?se Hardin & Mathieu Jaume 
Concepts et semantique des langages de programmation 2 [PDF ebook] 

Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un eclairage mathematique sur leurs semantiques et une presentation precise des aspects materiels qui interferent avec le codage.Ce deuxieme volume presente un modele semantique original commun aux constructions et operations des modules et des classes : visibilite, importation, exportation, definitions differees, parametrisation par types et valeurs, extensions. Ce modele fonde l’etude des modules d’Ada, OCaml et des fichiers d’en-tete de C. Il est decline pour modeliser les traits objet puis utilise pour traiter les classes de C++, Java, Python et OCaml.Concepts et semantique des langages de programmation 2 s’adresse aux etudiants et enseignants des cursus informatiques ainsi qu’aux programmeurs chevronnes, qui y trouveront un guide de lecture des manuels de reference ainsi que les fondements de la verification de programmes.