Next: 1.1 Denotational semantics
Up: Action Semantics for an
Previous: Action Semantics for an
Action semantics is a newly developed language aimed at precisely describing the
behavior of programs and models. It starts from modifying denotational
semantics, but finally ends up with a completely new semantics, which is much
more modular and extensible than its predecessor.
Subsections
Thomas Feng
2003-04-18