Action Semantics (Cambridge Tracts in Theoretical Computer Science) [Hardcover]

Peter D. Mosses (Author)

Book Description

ISBN-10: 0521403472 | ISBN-13: 978-0521403474 | Publication Date: August 28, 1992

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.

Editorial Reviews

Book 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, especially regarding modularity of descriptions. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use.

Product Details

• Hardcover: 392 pages
• Publisher: Cambridge University Press (August 28, 1992)
• Language: English
• ISBN-10: 0521403472
• ISBN-13: 978-0521403474
• Product Dimensions: 9.7 x 6.8 x 0.9 inches
• Shipping Weight: 1.8 pounds
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #5,315,220 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

1 of 1 people found the following review helpful:

5.0 out of 5 stars THE framework for syntactic and semantic descriptions., October 15, 1997

By A Customer

This review is from: Action Semantics (Cambridge Tracts in Theoretical Computer Science) (Hardcover)

Action Semantics covers in detail an algebra used to define almost all kinds of high level programming languages in a feasible manner - it is easy to read and understand the description informally, yet it is 100% formal and very expressive. The book is well written, but requires concentrated reading as there are few superfluous or repeated statements, as opposed to american literature. The reader is assumed to have a certain degree of knowledge of programming languages, different styles of semantics and related theory to gain the full benefit of the book.
Moreover, AS has shown itself interesting in automated (efficient and provably correct) compiler generation (refer to http://www.brics.dk/Projects/AS for details).

An Action Semantics-description is divided into a syntactic description of the language, semantic functions defining the mapping of syntax to entities, and semantics entities defining the computations on the entities operated on by the language. All three parts are described in Action Notation, making the syntax more expressive than EBNF and the computations more expressive than SOS or lambda calculi.

After having introduced the requirements and basic ideas, the book slowly guides the reader through the concepts, their raison d'etre and their use, by slowly applying them to a growing subset of Ada, starting with simple imperative constructs and ending with a description including agents and exceptions. The appendices gives the full, formal definition of the syntax, data notation, action notation and more. Formal proofs of some of the properties claimed to hold for AS are missing, but many pointers to further information given.

Having read the book and some of the papers in the rigourous bibliography, it seems to me that AS is one feasible way to go when discussing descriptions of programming languages, that can at the same time be read as a manual of the language, a formal description allowing for the proofs of certain properties of the language to be made, and input for a compiler generator for the specified language. The only serious shortcomings I see, is the description of continuation-passing-style constructs as found in Scheme/SML and the like, and the fact that the framework is not (yet?) widely known/used. The latter problem can be remedied by reading the book.