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.
The?re?se Hardin & Mathieu Jaume
Concepts et semantique des langages de programmation 1 [PDF ebook]
Concepts et semantique des langages de programmation 1 [PDF ebook]
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Format PDF ● Pagini 318 ● ISBN 9781784067014 ● Editura ISTE Editions ● Publicat 2020 ● Descărcabil 3 ori ● Valută EUR ● ID 8309593 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM