{"product_id":"a-practical-introduction-to-denotational-semantics-paperback-9780521314237","title":"A Practical Introduction to Denotational Semantics (Paperback) 9780521314237","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eA Practical Introduction to Denotational Semantics\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eThis textbook is an introduction to denotational semantics and its applications to programming languages.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eL. Allison (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521314237, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 30 January 1987\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e148 pages\u003cbr\u003e22.8 x 15.2 x 1.2 cm, 0.214 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e\"...a well-written and readable textbook...\"   Mathematical Reviews\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThis textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise writing definitions and carry out simple applications. The book culminates in discussing an executable semantics of the logic-programming language Prolog. Being an introduction, advanced undergraduates in computer science and graduates new to the subject will find this a readily accessible account of one of the central topics of computer science.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface\u003cbr\u003e Acknowledgements\u003cbr\u003e Glossary\u003cbr\u003e 1. Introduction\u003cbr\u003e 2. Basics\u003cbr\u003e 3. Notation\u003cbr\u003e 4. Lattices\u003cbr\u003e 5. A simple language\u003cbr\u003e 6. Direct semantics\u003cbr\u003e 7. Control\u003cbr\u003e 8. Data structures and data types\u003cbr\u003e 9. A prolog semantics\u003cbr\u003e 10. Miscellaneous\u003cbr\u003e Appendix\u003cbr\u003e References\u003cbr\u003e Index of definitions\u003cbr\u003e Subject 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":46005318484248,"sku":"9780521314237","price":29.49,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521314237i_acff7144-a0fc-40f0-b430-9a8cdec3517e.jpg?v=1691375077","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/a-practical-introduction-to-denotational-semantics-paperback-9780521314237","provider":"Freshly Printed Books","version":"1.0","type":"link"}