Action Semantics

by: Peter D. Mosses

Action Semantics
Author: Peter D. Mosses

Publisher: Cambridge University Press

Series: Cambridge Tracts in Theoretical Computer Science

List price: £ 46.00

Deastore.com price (info) $ 72.18

Shipping Costs: 0€ FREE Shipping by Standard Mail Details

Format: Paperback / softback

Publication date: 17 February 2005

Usually shipped within: (info) 5 working days

ISBN: 0521619335 ISBN 13: 9780521619332 This product is an E-publication based on: Action Semantics (2010)

Action Semantics by Peter D. Mosses

Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics. Top page

Complete description

Action 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. Top page

General info

Publisher & Imprint: Cambridge University Press

City: Cambridge

Pages: 396

More info: height 247 mm width 174 mm weight 710 gr thickness 21 mm

Top page

Age recommended: Professional and scholarly

Subject Indexing & Classification Dewey:(DC20) 005.131 Library of Congress Subject: QA76.7 .M68 1992 Programming languages (Electronic computers)--Semantics

Record updated at: 07 March, 2013 time: 13:16

Summary Action Semantics Part I. Language Descriptions: 1. Motivation; 2. Concepts; 3. Formalities; Part II. Action Notation: 4. Basic; 5. Data; 6. Functional; 7. Declarative; 8. Imperative; 9. Reflective; 10. Communicative; Part III. Action Semantic Descriptions: 11. Statements; 12. Literals; 13. Expressions; 14. Declarations; 15. Variables; 16. Subprogramming; 17. Tasks; Part IV. Conclusion: 18. Other frameworks; 19. Development; Appendices; Bibliography; Symbol Index; Concept Index. Top page

Add your comment

Add a review - Highlight this book to a friend

Please login or register to send your review

Top page
More title of this author

Buying in deastore.com
is safe!