Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,864,842 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.
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
2012
2012
Fast SLCA and ELCA Computation for XML Keyword Queries Based on Set Intersection
Junfeng Zhou
,
Z. Bao
,
+4 authors
Jingfeng Guo
IEEE International Conference on Data Engineering
2012
Corpus ID: 9496215
In this paper, we focus on efficient keyword query processing for XML data based on the SLCA and ELCA semantics. We propose a…
Expand
Highly Cited
2007
Highly Cited
2007
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
Marco Aldinucci
,
M. Danelutto
Computer languages, systems & structures
2007
Corpus ID: 17427025
Highly Cited
2007
Highly Cited
2007
An axiomatic basis for communication
M. Karsten
,
S. Keshav
,
S. Prasad
Conference on Applications, Technologies…
2007
Corpus ID: 2508337
The de facto service architecture of today's communication networks, in particular the Internet, is heterogeneous, complex, ad…
Expand
Highly Cited
2006
Highly Cited
2006
A hierarchical coordination language for interacting real-time tasks
Arkadeb Ghosal
,
A. Sangiovanni-Vincentelli
,
C. Kirsch
,
T. Henzinger
,
D. Iercan
International Conference on Embedded Software
2006
Corpus ID: 12708887
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems…
Expand
Highly Cited
2002
Highly Cited
2002
Adaptive and global optimization methods for weighted vector median filters
L. Lucat
,
P. Siohan
,
D. Barba
Signal processing. Image communication
2002
Corpus ID: 26678301
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
1991
1991
Prototyping parallel and distributed programs in Proteus
P. Mills
,
L. Nyland
,
J. Prins
,
J. Reif
,
R. Wagner
Proceedings of the Third IEEE Symposium on…
1991
Corpus ID: 1762379
This paper presents Proteus, an architecture-independent language suitable for prototyping parallel and distributed programs…
Expand
Highly Cited
1991
Highly Cited
1991
Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog
S. Abiteboul
,
E. Simon
Theoretical Computer Science
1991
Corpus ID: 17795242
Highly Cited
1990
Highly Cited
1990
Algebraic Operational Semantics and Occam
Y. Gurevich
,
L. Moss
Annual Conference for Computer Science Logic
1990
Corpus ID: 2151891
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an…
Expand
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)
ACCEPT & CONTINUE