A structural approach to operational semantics

By Gordon D. Plotkin. J. Log. Algebraic Methods Program., 2004

2,653 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/620ce06151f6a7789d9e597ef2b0df73636c8c6b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

Citations in the corpus

Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) (2007, methodology): “We use operational semantics [76] to define the semantics of AgentSpeak; this approach is widely used for giving semantics to programming languages and studying their properties.”
Bringing the web up to speed with WebAssembly (2017, background): “The lower part of Figure 2 specifies WebAssembly execution in terms of a small-step reduction relation [36], which enables very compact rules and avoids the need for introducing separate notions of operand or control stacks – the operand “stack” simply consists of all t.”
The origins of structural operational semantics (2004, background): “I am delighted to see my Aarhus notes [59] on SOS, Structural Operational Semantics, published as part of this special issue.”
An overview of the K semantic framework (2010, background): “As an analogy, recall that there are no rigid rules for how to write a configuration in SOS [9]: one may use the angle-bracket notation code, state, ..., or the square bracket notation [code, state, ...], or even the simple tuple notation (code, state, ...); also, one may use a different (from comma”
The Tapenade automatic differentiation tool: Principles, model, and specification (2013, methodology): “It then gives the equations of the data-.ow analyses and the Operational Semantics of the tangent and adjoint differentiation.”
The synchronous languages 12 years later (2003, methodology): “The first Esterel compilers were based on the literal interpretation of its semantics written in Plotkin’s structural operational style [41].”
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling (2008, background): “5 sets out the rules for generating the multi-transition system on species, as a structural operational semantics [22].”
ABS: A Core Language for Abstract Behavioral Specification (2010, background): “The operational semantics of ABS is presented as a transition system in an SOS style [31].”
Unifying Theories of Programming (2012, methodology): “so that coin = uniform [True,False ], and uniform [1, 2, 3] = return 1 (1)/3 (return 2 (1)/2 return 3).”
Introduction to Embedded Systems - A Cyber-Physical Systems Approach (2013, background): “The description is called an operational semantics (Scott and Strachey, 1971; Plotkin, 1981).”
A brief history of process algebra (2005, neutral): “A related development is the birth of structural operational semantics in [86].”
ProB: A Model Checker for B (2003, background): “The ProB Interpreter The ProB interpreter is written in a structured operational semantics [28] (SOS) style.”
The Book Review Column (2000, neutral): “This is the structural approach to operational semantics (SOS) advocated by Plotkin [Plo81].”
Principles of model checking (2008, background): “Structured operational semantics has been introduced by Plotkin [334, 336] in 1981.”