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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his… (More)
Is this relevant?
2003
2003
Action Semantics is a framework for the formal specification of programming languages. Two different, recently proposed… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2001
2001
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) a precise meta-modelling language… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2001
2001
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1997
1997
A domain-specific language (DSL) is a framework which is designed to precisely meet the needs of a particular application. Domain… (More)
  • figure 4.1
  • figure 4.2
Is this relevant?
1996
1996
Action Semantics is a framework for the formal description of programming languages. Its main advantage over other frameworks is… (More)
Is this relevant?
1994
1994
This paper is about the recently developed framework of action se mantics The pragmatic qualities of action semantic descriptions… (More)
  • figure 1
Is this relevant?
1992
1992
We report progress on the development of Actress, a compiler generator based on action semantics. It consists of a number of… (More)
Is this relevant?
1990
1990
Type inference for action semantics " (1990). Retrospective Theses and Dissertations. Paper 9492. The most advanced technology… (More)
  • figure 1.1
  • figure 2.2
  • figure 2.5
  • figure 2.6
  • figure 2.9
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Spend your few moment to read a book even only few pages. Reading book is not obligation and force for everybody. When you don't… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?