Download slides - Formal Systems Laboratory

2
General Information about Maude
Maude is an executable specification language supporting rewrite
logic specifications and having at its core a very fast rewrite engine.
We will use Maude as a platform for executing programming
language definitions following various definitional styles. Our short
term objectives are:
1. Learn how to use Maude;
2. Show how various language definitional styles, including the
ones discussed so far or to be discussed (big-step and
small-step SOS, MSOS, reduction semantics with evaluation
contexts, the CHAM, denotational semantics) can be formally
defined in Maude;