{"product_id":"action-semantics-paperback-9780521619332","title":"Action Semantics (Paperback) 9780521619332","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eAction Semantics\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eAction Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003ePeter D. Mosses (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521619332, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 17 February 2005\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e396 pages\u003cbr\u003e24.6 x 18.8 x 1.9 cm, 0.7 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eAction Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have an interest in the semantics of programming languages will find Action Semantics a most helpful book.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePart I. Language Descriptions: 1. Motivation\u003cbr\u003e 2. Concepts\u003cbr\u003e 3. Formalities\u003cbr\u003e Part II. Action Notation: 4. Basic\u003cbr\u003e 5. Data\u003cbr\u003e 6. Functional\u003cbr\u003e 7. Declarative\u003cbr\u003e 8. Imperative\u003cbr\u003e 9. Reflective\u003cbr\u003e 10. Communicative\u003cbr\u003e Part III. Action Semantic Descriptions: 11. Statements\u003cbr\u003e 12. Literals\u003cbr\u003e 13. Expressions\u003cbr\u003e 14. Declarations\u003cbr\u003e 15. Variables\u003cbr\u003e 16. Subprogramming\u003cbr\u003e 17. Tasks\u003cbr\u003e Part IV. Conclusion: 18. Other frameworks\u003cbr\u003e 19. Development\u003cbr\u003e Appendices\u003cbr\u003e Bibliography\u003cbr\u003e Symbol Index\u003cbr\u003e Concept Index.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46129258889496,"sku":"9780521619332","price":48.89,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521619332i.jpg?v=1691666478","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/action-semantics-paperback-9780521619332","provider":"Freshly Printed Books","version":"1.0","type":"link"}