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… 
2008
2008
Operational Modal Analysis for Seismic Protection of Structures
This thesis focuses on output-only modal identification tests and on the opportunities they provide in the field of seismic… 
Review
2004
Review
2004
Modelling in Molecular Biology
Stoichiometric Foundation of Large-Scale Biochemical System Analysis.- Modelling Stochastic Clonal Interference.- Software… 
2000
2000
Graphical Operational Semantics
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the… 
1995
1995
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc… 
1994
1994
Interpreting voice : a case study in lexical semantics
1991
1991
Prototyping parallel and distributed programs in Proteus
This paper presents Proteus, an architecture-independent language suitable for prototyping parallel and distributed programs… 
Review
1985
Review
1985
Lexical semantics in review
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)