An Overview of Action Semantics
Hermano Perrelli de Moura
UFPE
This tutorial gives an overview of action semantics, a
formalism for specification of programming languages.
A small imperative programming language is used to illustrate
the main concepts. Action notation, the formal notation used
in action semantic descriptions, is explained using an informal
and a formal approach, together
with some examples. Finally, pointers and references for additional
information are given.
.