Results 1 to 10 of about 2,879 (156)
Structured Operational Semantics for Graph Rewriting [PDF]
Scientific Annals of Computer Science, 2012 Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics (LTS). While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in general ...
A. Dorman, T. Heindel, B. König
doaj +5 more sources
The origins of structural operational semantics
The Journal of Logic and Algebraic Programming, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gordon D Plotkin
exaly +5 more sources
A Modular Structural Operational Semantics for Delimited Continuations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited ...
Neil Sculthorpe +2 more
doaj +7 more sources
Modular structural operational semantics
The Journal of Logic and Algebraic Programming, 2004 Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity
Peter Mosses
exaly +7 more sources
Bialgebras for structural operational semantics: An introduction
Theoretical Computer Science, 2011 As indicated in the title, this work provides an introduction to the use of bialgebras in structural operational semantics (SOS). Starting from very basic examples, it arrives at giving an up-to-date overview of the state of the art in the field. The underlying principle of bialgebraic semantics [\textit{D. Turi} and \textit{G.
Bartek Klin
exaly +4 more sources
Familial monads and structural operational semantics [PDF]
Proceedings of the ACM on Programming Languages, 2019 We propose a categorical framework for structural operational semantics, in which we prove that under suitable hypotheses bisimilarity is a congruence. We then refine the framework to prove soundness of bisimulation up to context, an efficient method for reducing the size of bisimulation relations.
Tom Hirschowitz
exaly +3 more sources
Dynamic structural operational semantics
Journal of Logical and Algebraic Methods in Programming, 2019 We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynamic SOS (DSOS) is built on top of the Modular SOS of P. Mosses, with an underlying category theory formalization.
Christian Johansen, Olaf Owe
exaly +7 more sources
Executable structural operational semantics in Maude
The Journal of Logic and Algebraic Programming, 2006 This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where transitions become rewrites and inference rules become conditional rewrite rules with rewrites in the conditions, as made possible by the new features in Maude 2.0.
Narciso Martí-Oliet, Alberto Verdejo
exaly +4 more sources
Structural operational semantics and bounded nondeterminism [PDF]
Acta Informatica, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wan Fokkink
exaly +3 more sources
Implicit Propagation in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science, 2009 AbstractIn contrast to a transition system specification in process algebra, a structural operational semantics (SOS) of a programming language usually involves auxiliary entities: stores, environments, etc. When specifying SOS rules, particular auxiliary entities often need to be propagated unchanged between premises and conclusions.
Peter Mosses
exaly +3 more sources