Operational Methods In Semantics

The comprehensive book focuses on abstract models and basic ideas and results that relate to the operational semantics of both sequential and concurrent programming languages. The approach is to start with an abstract description of the computation steps of programs and then to build on top semantic equivalences, specification languages, and static analyses. This useful reference text benefits professionals, researchers, academics, postgraduate and graduate students in software engineering and theoretical computer science.