Results 11 to 20 of about 121,111 (294)
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
Stateful Structural Operational Semantics
International Conference on Formal Structures for Computation and Deduction, 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 ...
Goncharov, Sergey +4 more
openaire +5 more sources
Dynamic structural operational semantics [PDF]
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.
Johansen, Christian, Owe, Olaf
openaire +6 more sources
Categorical model of structural operational semantics for imperative language
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
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
openaire +3 more sources
A structural approach to operational semantics
The Journal of Logic and Algebraic Programming, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
G. Plotkin
openaire +3 more sources
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2023 This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an affiliated workshop ...
C. A. Mezzina, Georgiana Caltais
semanticscholar +1 more source
The Way We Were: Structural Operational Semantics Research in Perspective [PDF]
Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics, 2023 This position paper on the (meta-)theory of Structural Operational Semantic (SOS) is motivated by the following two questions: (1) Is the (meta-)theory of SOS dying out as a research field?
L. Aceto +3 more
semanticscholar +1 more source
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2022 This volume contains the proceedings of EXPRESS/SOS 2022: the Combined 29th International Workshop on Expressiveness in Concurrency and the 19th Workshop on Structural Operational Semantics, which was held in Warsaw, Poland, as an affiliated workshop of ...
Valentina Castiglioni, C. A. Mezzina
semanticscholar +1 more source
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2021 This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 28th International Workshop on Expressiveness in Concurrency and the 18th Workshop on Structural Operational Semantics, which was held online, as an affiliated workshop of CONCUR 2021,
Ornela Dardha, Valentina Castiglioni
semanticscholar +1 more source