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)

Related topics

Related topics

50 relations
ACM Turing AwardALFALGOL 68Abstract data type

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
EROSION OF METALS BY PULSATING WATER JET
The aim of the paper was to determine erosion effects of pulsating water jet impinging the surface of metal sample. The influence… 
2012
2012
Fast SLCA and ELCA Computation for XML Keyword Queries Based on Set Intersection
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
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
Highly Cited
2007
Highly Cited
2007
An axiomatic basis for communication
The de facto service architecture of today's communication networks, in particular the Internet, is heterogeneous, complex, ad… 
Highly Cited
2006
Highly Cited
2006
A hierarchical coordination language for interacting real-time tasks
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems… 
2000
2000
Graphical Operational Semantics
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the… 
1991
1991
Prototyping parallel and distributed programs in Proteus
This paper presents Proteus, an architecture-independent language suitable for prototyping parallel and distributed programs… 
Highly Cited
1991
Highly Cited
1991
Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog
Highly Cited
1990
Highly Cited
1990
Algebraic Operational Semantics and Occam
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an… 
1981
1981
Thermodynamics of interfacial phenomena
Abstract 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)