Action semantics
Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the 1990s. It is a mixture of denotational, operational and algebraic semantics. The Action Semantics framework was originally developed at the University of Aarhus and the University of Glasgow. Groups and individuals around the world have since contributed further to the approach.
Wikipage redirect
primaryTopic
Action semantics
Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the 1990s. It is a mixture of denotational, operational and algebraic semantics. The Action Semantics framework was originally developed at the University of Aarhus and the University of Glasgow. Groups and individuals around the world have since contributed further to the approach.
has abstract
Action semantics is a framewor ...... buted further to the approach.
@en
Wikipage page ID
Wikipage revision ID
568,586,137
subject
hypernym
type
comment
Action semantics is a framewor ...... buted further to the approach.
@en
label
Action semantics
@en