Keywords

#action_semantics

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.

Tue 20th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Action semantics Semantics (computer science) Semantics Lexical semantics Executable UML General semantics Formal semantics (natural language) Axiomatic semantics Information David Watt (computer scientist)
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.