Results 21 to 30 of about 100,374 (308)
Structured Operational Semantics for Graph Rewriting [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in general.
Andrei Dorman, Tobias Heindel
doaj +1 more source
Pattern Matching Based on Object Graphs
IEEE Access, 2021 Pattern matching has been widely adopted in functional programming languages, and is gradually getting popular in OO languages, from Scala to Python.
Wei Ke, Ka-Hou Chan
doaj +1 more source
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 +1 more source
An Operational Semantics for Stateflow [PDF]
International Journal on Software Tools for Technology Transfer, 2004 We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of embedded systems. Stateflow has many tricky features but our operational treatment yields a surprisingly simple semantics for the subset that is generally recommended for ...
John Rushby, Gregoire Hamon
openaire +2 more sources
Semantics for Algebraic Operations [PDF]
Electronic Notes in Theoretical Computer Science, 2001 AbstractGiven a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form αx:(Tx)n → Tx provides a definitive semantics for algebraic operations added to the computational λ-calculus.
Plotkin, Gordon, Power, John
openaire +2 more sources
Typed Operational Semantics for Dependent Record Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Typed operational semantics is a method developed by H. Goguen to prove meta-theoretic properties of type systems. This paper studies the metatheory of a type system with dependent record types, using the approach of typed operational semantics.
Yangyue Feng, Zhaohui Luo
doaj +1 more source
An operational semantics for android activities [PDF]
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, 2014 We define an operational semantics for a large part of the Android platform, encompassing the Dalvik bytecode but also, and more importantly, the inter-component communication mechanism used inside Android applications. This semantics is intended to provide a formal basis for the development of static analyses that consider the complex flow of ...
Étienne Payet, Fausto Spoto
openalex +5 more sources
Dynamic Structural Operational Semantics
Journal of Logical and Algebraic Methods in Programming, 2016 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
openalex +7 more sources
On Coevaluation Behavior and Equivalence
Mathematics, 2022 Coevaluation, the coinductive interpretation of standard big-step evaluation rules, is a concise form of semantics, with the same number of rules as in evaluation, which intends to simultaneously describe finite and infinite computations.
Angel Zúñiga, Gemma Bel-Enguix
doaj +1 more source
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 +1 more source