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.
Read More