BIGpedia.com - Action semantics - Encyclopedia and Dictionary Online
encyclopedia search

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




The contents of this article are licensed from Wikipedia.org under the GNU Free Documentation License.
How to see transparent copy

01-04-2007 01:21:04