{"product_id":"9781786305305","title":"Concepts and Semantics of Programming Languages 1 A Semantical Approach with OCaml and Python","description":"\u003ch1\u003eConcepts and Semantics of Programming Languages 1\u003c\/h1\u003e\u003ch2\u003eA Semantical Approach with OCaml and Python\u003c\/h2\u003e\u003ch3\u003eTherese Hardin | Mathieu Jaume | Francois Pessaux | Veronique Viguie Donzeau-Gouge\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Computer Engineering\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003eThis book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. \u003cp\u003e\u003ci\u003eConcepts and Semantics of Programming Languages 1\u003c\/i\u003e is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects. \u003c\/p\u003e\n\u003cp\u003eThis book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification.\u003c\/p\u003e\n\u003c\/div\u003e\u003cdiv\u003e \u003cp\u003e\u003cb\u003eThérèse Hardin\u003c\/b\u003e is Professor Emeritus at the Laboratoire d�Informatique de Paris 6 (LIP6), Sorbonne University, France. \u003c\/p\u003e\n\u003cp\u003e\u003cb\u003eMathieu Jaume\u003c\/b\u003e is a lecturer at the Laboratoire d�Informatique de Paris 6 (LIP6), Sorbonne University, France. \u003c\/p\u003e\n\u003cp\u003e\u003cb\u003eFrançois Pessaux\u003c\/b\u003e is Associate Professor in the Computer Science and Systems Engineering Unit (U2IS) of ENSTA Paris, France. \u003c\/p\u003e\n\u003cp\u003e\u003cb\u003eVéronique Viguié\u003c\/b\u003e Donzeau-Gouge is Professor Emeritus at the Centre d�études et de recherche en informatique (CEDRIC) of the Conservatoire national des arts et métiers (Cnam Paris), France.\u003c\/p\u003e\n\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e17 August 2021\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eWiley\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eWiley-ISTE\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9781786305305\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003eHardback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e336\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eWeight (oz): \u003c\/td\u003e\n\u003ctd\u003e16.0\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Wiley","offers":[{"title":"Default Title","offer_id":44377675956364,"sku":"9781786305305","price":160.16,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781786305305_4c95243a-22ce-4e8f-a09e-8cc676a75af5.jpg?v=1780146977","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781786305305","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}