{"product_id":"concepts-and-semantics-of-programming-languages-2-a-semantical-approach-with-ocaml-and-python-9781786306029","title":"Concepts and Semantics of Programming Languages 2: A Semantical Approach with Ocaml and Python","description":"\u003cp\u003e • Author(s): Hardin\u003cbr\u003e • Publisher: Wiley-Iste\u003cbr\u003e • Publisher Imprint: Wiley-Iste\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003eThis book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding.\u003cbr\u003e\u003cbr\u003e\u003ci\u003eConcepts and Semantics of Programming Languages 2\u003c\/i\u003e presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.\u003cbr\u003e\u003cbr\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","brand":"Wiley-Iste","offers":[{"title":"Hardcover","offer_id":45201583046807,"sku":"9781786306029","price":10896.0,"currency_code":"INR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781786306029.webp?v=1769207908","url":"https:\/\/atlanticbooks.com\/products\/concepts-and-semantics-of-programming-languages-2-a-semantical-approach-with-ocaml-and-python-9781786306029","provider":"Atlantic Books","version":"1.0","type":"link"}