Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
The aim of the paper was to determine erosion effects of pulsating water jet impinging the surface of metal sample. The influence… 
2012
2012
In this paper, we focus on efficient keyword query processing for XML data based on the SLCA and ELCA semantics. We propose a… 
Highly Cited
2007
Highly Cited
2007
The de facto service architecture of today's communication networks, in particular the Internet, is heterogeneous, complex, ad… 
Highly Cited
2006
Highly Cited
2006
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems… 
2000
2000
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the… 
1991
1991
This paper presents Proteus, an architecture-independent language suitable for prototyping parallel and distributed programs… 
Highly Cited
1990
Highly Cited
1990
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an…