出典:Wikipedia
出典:『Wikipedia』 (2009/12/13 20:23 UTC 版)
Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses. It is a mixture of denotational, operational and algebraic semantics.