Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants avec un clairage mathmatique sur leurs smantiques et une prsentation prcise des aspects matriels qui interfrent avec le codage. Ce volume est ddi aux traits fonctionnels et impratifs. Il tudie formellement les smantiques de typage et dexcution facilitant leur acquisition par leur implantation en OCaml et Python et par des exercices corrigs. La reprsentation des donnes est traite en dtail types construits filtrage boutisme pointeurs gestion de la mmoire etc. avec des exemples en OCaml C et C. Concepts et smantique des langages de programmation 1 sadresse aux tudiants et enseignants des cursus informatiques ainsi quaux programmeurs chevronns qui y trouveront un guide de lecture des manuels de rfrence ainsi que les fondements de la vrification de programmes.