Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,229,796 papers from all fields of science
Search
Sign In
Create Free Account
Operational semantics
Known as:
Reduction semantics
, Reduction context
, Small step operational semantics
Expand
Operational semantics are a category of formal programming language semantics in which certain desired properties of a program, such as correctness…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
ALF
ALGOL 68
Abstract data type
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Learning Optimized Risk Scores on Large-Scale Datasets
Berk Ustun
,
C. Rudin
2016
Corpus ID: 63505496
Risk scores are simple classification models that let users quickly assess risk by adding, subtracting, and multiplying a few…
Expand
Highly Cited
2012
Highly Cited
2012
EROSION OF METALS BY PULSATING WATER JET
J. Foldyna
,
J. Klich
,
P. Hlaváček
,
M. Zeleňák
,
J. Ščučka
2012
Corpus ID: 43999882
The aim of the paper was to determine erosion effects of pulsating water jet impinging the surface of metal sample. The influence…
Expand
Review
2011
Review
2011
Meta-Programming and Language Modeling with MetaModelica 1.0
P. Fritzson
,
A. Pop
2011
Corpus ID: 61913958
This report gives a language definition and tutorial on how to model languages using MetaModelica 1.0 – an extended subset of…
Expand
2011
2011
Multicasting multimedia streams in IEEE 802.11 networks: a focus on reliability and rate adaptation
Nakjung Choi
,
Yongho Seok
,
Taekyoung Kwon
,
Yanghee Choi
Wirel. Networks
2011
Corpus ID: 15749307
Multicasting multimedia streams in IEEE 802.11 wireless LANs has two issues: reliability and rate adaptation. We address these…
Expand
2000
2000
Graphical Operational Semantics
A. Corradini
,
R. Heckel
,
U. Montanari
ICALP Satellite Workshops
2000
Corpus ID: 14911050
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the…
Expand
1995
1995
Operational Semantics of Constraint Logic Programs with Coroutining
A. Podelski
,
G. Smolka
International Conference on Logic Programming
1995
Corpus ID: 7588170
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc…
Expand
Review
1992
Review
1992
Dynamic Memory Management for Sequential Logic Programming Languages
Y. Bekkers
,
O. Ridoux
,
Lucien Ungaro
IWMM
1992
Corpus ID: 2509228
Logic programming languages are becoming more complex with the introduction of new features such as constraints or terms with an…
Expand
Review
1985
Review
1985
Lexical semantics in review
B. Levin
1985
Corpus ID: 60486436
1981
1981
Thermodynamics of interfacial phenomena
D. H. Everett
1981
Corpus ID: 54739192
Abstract
1975
1975
Operational reasoning and denotational semantics.
M. Gordon
1975
Corpus ID: 58306836
"Obviously true" properties of programs can be hard to prove when meanings are specified with a denotational semantics. One cause…
Expand