Results 11 to 20 of about 42,644,411 (279)
Orthogonal Extensions in Structural Operational Semantics [PDF]
, 2005 In this paper, we give novel and more liberal notions of operational and equational conservativity for language extensions. We motivate these notions by showing their practical application in existing formalisms. Based on our notions, we formulate and prove meta-theorems that establish conservative extensions for languages defined using Structural ...
Mousavi, M.R., Reniers, M.A.
core +5 more sources
Structural Operational Semantics [PDF]
BRICS Report Series, 1999 The importance of giving precise semantics to programming and specification<br />languages was recognized since the sixties with the development of the<br />first high-level programming languages (cf. e.g. [30, 206] for some early accounts).<br />The use of operational semantics - i.e.
Aceto, Luca, Fokkink, J., Verhoef, C.
openaire +4 more sources
Categorical model of structural operational semantics for imperative language [PDF]
Journal of Information and Organizational Sciences, 2016 Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics.
William Steingartner, Valerie Novitzká
doaj +2 more sources
Structuring structural operational semantics [PDF]
, 2005 Defining a formal (i.e., mathematical) semantics for computer languages is the first step towards developing rigorous techniques for reasoning about computerprograms and specifications in such a language. Structural Operational Semantics (SOS), introduced by Plotkin in 1981, has become a popular technique for defining formal semantics.
Mousavi, M.R., Mousavi, M Mohammad Reza
openaire +3 more sources
Structural Operational Semantics and Modal Logic, Revisited
Electronic Notes in Theoretical Computer Science, 2010 AbstractA previously introduced combination of the bialgebraic approach to structural operational semantics with coalgebraic modal logic is re-examined and improved in some aspects. Firstly, a more abstract, conceptual proof of the main compositionality theorem is given, based on an understanding of modal logic as a study of coalgebras in slice ...
Bartek Klin
exaly +2 more sources
Structural Operational Semantics with First-Order Logic [PDF]
Electronic Notes in Theoretical Computer Science, 2009 AbstractWe define a formalism for Structural Operational Semantics (SOS) with first-order-logic formulas as premises. It is shown that in most uses (including all practical uses) this formalism has the same expressivity as SOS without first-order logic. Furthermore, we give a congruence format for (strong) bisimilarity.
Weerdenburg, van, M.J., Reniers, M.A.
openaire +3 more sources
A generic operational metatheory for algebraic effects [PDF]
, 2010 We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of algebraic effects, and incorporates, as instances: errors, input/output, global ...
Simpson, Alex +6 more
core +4 more sources
Stateful Structural Operational Semantics
CoRR, 2022 Compositionality of denotational semantics is an important concern in programming semantics. Mathematical operational semantics in the sense of Turi and Plotkin guarantees compositionality, but seen from the point of view of stateful computation it applies only to very fine-grained equivalences that essentially assume unrestricted interference by the ...
Sergey Goncharov 0001 +4 more
openaire +6 more sources
Adaptive Structural Operational Semantics
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023 Software systems evolve more and more in complex and changing environments, often requiring runtime adaptation to best deliver their services. When self-adaptation is the main concern of the system, a manual implementation of the underlying feedback loop and trade-off analysis may be desirable.
Jouneaux, Gwendal +6 more
openaire +4 more sources
Structural Resolution with Co-inductive Loop Detection [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 A way to combine co-SLD style loop detection with structural resolution was found and is introduced in this work, to extend structural resolution with co-induction.
Yue Li
doaj +1 more source