Skip to search formSkip to main contentSkip to account menu

Action semantics

Known as: Action-Semantic Description 
Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The motivated distance perception theory (Balcetis, 2016) paradoxically is too parsimonious to account for a variety of findings… 
2008
2008
  • P. Mosses
  • BCS Int. Acad. Conf.
  • 2008
  • Corpus ID: 218545
Research in formal description of programming languages over the past four decades has led to some significant achievements… 
Highly Cited
2006
Highly Cited
2006
In large software development organizations, increased complexity of products, shortened development cycles, and heightened… 
2005
2005
Many statechart-based testing strategies result in specifying a set of paths to be executed through a (flattened) statechart… 
2004
2004
With the specifiaction of Action Semantics in UML 1.5, the OMG has layed ground to manipulating object diagrams in a formal way… 
2003
2003
Correct component models for distributed, reactive systems are difficult to construct. Typically, the services provided by such… 
Highly Cited
2001
Highly Cited
2001
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it… 
Highly Cited
1996
Highly Cited
1996
  • P. Mosses
  • International Symposium on Mathematical…
  • 1996
  • Corpus ID: 1552463
Action Semantics is a framework for the formal description of programming languages. Its main advantage over other frameworks is… 
Highly Cited
1992
Highly Cited
1992
We report progress on the development of Actress, a compiler generator based on action semantics. It consists of a number of… 
Highly Cited
1986
Highly Cited
1986
  • P. Mosses
  • Algorithmic Decision Theory
  • 1986
  • Corpus ID: 38212115
A distinguishing characteristic of action semantics is its facet system, which defines the variety of information flows in a…