Action semantics
|
Action semantics is a semantic framework invented by David Watt and Peter D. Mosses. It is a mixture of denotational and operational semantics.
External link
- Action Semantics homepage (http://www.brics.dk/Projects/AS)