Action Semantics (Hardcover)

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 previous approaches, especially regarding modularity of descriptions. This volume attempts to give a thorough introduction to action semantics, and provides substantial illustrations of its use.