{"product_id":"concepts-and-semantics-of-programming-languages-2","title":"Concepts and Semantics of Programming Languages 2","description":"This 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.","brand":"ISTE Ltd and John Wiley \u0026 Sons Inc","offers":[{"title":"Default Product","offer_id":54222347141464,"sku":"9781786306029","price":171.06,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9781786306029__6772e233b6ec5.jpg?v=1741160192","url":"https:\/\/agendabookshop.com\/products\/concepts-and-semantics-of-programming-languages-2","provider":"Agenda Bookshop","version":"1.0","type":"link"}