Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un \u00e9clairage math\u00e9matique sur leurs s\u00e9mantiques et une pr\u00e9sentation pr\u00e9cise des aspects mat\u00e9riels qui interf\u00e8rent avec le codage.<\/p>\n
Ce volume est d\u00e9di\u00e9 aux traits fonctionnels et imp\u00e9ratifs. Il \u00e9tudie formellement les s\u00e9mantiques de typage et d\u2019ex\u00e9cution, facilitant leur acquisition par leur implantation en OCaml et Python et par des exercices corrig\u00e9s. La repr\u00e9sentation des donn\u00e9es est trait\u00e9e en d\u00e9tail : types construits, filtrage, boutisme, pointeurs, gestion de la m\u00e9moire, etc., avec des exemples en OCaml, C et C++.<\/p>\n
Concepts et s\u00e9mantique des langages de programmation 1<\/em> s\u2019adresse aux \u00e9tudiants et enseignants des cursus informatiques ainsi qu\u2019aux programmeurs chevronn\u00e9s, qui y trouveront un guide de lecture des manuels de r\u00e9f\u00e9rence ainsi que les fondements de la v\u00e9rification de programmes.<\/p>","protected":false},"excerpt":{"rendered":" Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un \u00e9clairage math\u00e9matique sur leurs s\u00e9mantiques et une pr\u00e9sentation pr\u00e9cise des aspects mat\u00e9riels qui interf\u00e8rent avec le codage. Ce volume est d\u00e9di\u00e9 aux traits fonctionnels et imp\u00e9ratifs. Il \u00e9tudie formellement les s\u00e9mantiques de typage et d\u2019ex\u00e9cution, facilitant leur acquisition par leur […]<\/p>\n","protected":false},"featured_media":37217,"template":"","meta":{"_acf_changed":false,"_links_to":"","_links_to_target":""},"product_brand":[],"product_cat":[3262],"product_tag":[],"class_list":{"0":"post-37205","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-non-classe","8":"first","9":"instock","10":"shipping-taxable","11":"purchasable","12":"product-type-variable"},"acf":[],"yoast_head":"\n