268347
9780521403474
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.Peter D. Mosses is the author of 'Action Semantics (Cambridge Tracts in Theoretical Computer Science)', published 1992 under ISBN 9780521403474 and ISBN 0521403472.
[read more]