The?re?se Hardin & Mathieu Jaume 
Concepts et semantique des langages de programmation 1 [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 volume est dedie aux traits fonctionnels et imperatifs. Il etudie formellement les semantiques de typage et d’execution, facilitant leur acquisition par leur implantation en OCaml et Python et par des exercices corriges. La representation des donnees est traitee en detail : types construits, filtrage, boutisme, pointeurs, gestion de la memoire, etc., avec des exemples en OCaml, C et C++.Concepts et semantique des langages de programmation 1 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.