Operational semantics

Known as: Reduction semantics, Reduction context, Small step operational semantics 
Operational semantics are a category of formal programming language semantics in which certain desired properties of a program, such as correctness… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Constraint Handling Rules (CHRs) are a high-level rulebased programming language commonly used to write constraint solvers. The… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Structural Operational Semantics (SOS) provides a framework to give an operational semantics to programming and specification… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Constraint Handling Rules (CHR) allow one to specify and implement both propagation and simpliication for user-deened constraints… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
An operational semantics is deened for the language of timed CSP, in terms of two relations: an evolution relation, which… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
The semantics of Prolog programs is usually given in terms of the model theory of first order logic. However, this does not… (More)
Is this relevant?
Highly Cited
1976
Highly Cited
1976
Sentences in first-order predicate logic can be usefully interpreted as programs. In this paper the operational and fixpoint… (More)
Is this relevant?