Results 51 to 60 of about 188,404 (207)
Fold and Unfold for Program Semantics [PDF]
, 1998 In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion operator fold can be used to structure denotational semantics, how the ...
Hutton, Graham, Graham Hutton
core +1 more source
Causality in the Semantics of Esterel: Revisited [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics with negative premises. We show that the solutions offered for the semantics
MohammadReza Mousavi
doaj +1 more source
Operational Semantics for DyLPs [PDF]
, 2005 Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly dynamic domains with logic programming techniques. Two of the most recent results are the definition of the refined stable and the well founded semantics for dynamic logic ...
Federico Banti +2 more
openaire +1 more source
Timed Operational Semantics and Well-Formedness of Shape Calculus [PDF]
Scientific Annals of Computer Science, 2010 The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel that models ...
E. Bartocci +4 more
doaj
Structural operational semantics for stochastic and weighted transition systems
, 2013 We introduce weighted GSOS, a general syntactic framework to specify well-behaved transition systems where transitions are equipped with weights coming from a commutative monoid.
Klin, Bartek, Sassone, Vladimiro
core +1 more source
Evaluating the performance of model transformation styles in Maude
, 2011 Rule-based programming has been shown to be very successful in many application areas. Two prominent examples are the specification of model transformations in model driven development approaches and the definition of structured operational semantics of
Lluch-Lafuente, Alberto +4 more
core +1 more source
A Formal Framework for Integrated Environment Modeling Systems
ISPRS International Journal of Geo-Information, 2017 Integrated Environment Modeling (IEM) has become more and more important for environmental studies and applications. IEM systems have also been extended from scientific studies to much wider practical application situations.
Gaofeng Zhang +5 more
doaj +1 more source
Extended Connectors: Structuring Glue Operators in BIP [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities.
Eduard Baranov, Simon Bliudze
doaj +1 more source
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
openaire +5 more sources
Structural Operational Semantics with transitivity rules and execution time
CLEI Electronic Journal, 2009 We de¯ne an structural operational semantics of the core of an imperative language. It has a measure in the transitions corresponding to the number of steps of evaluation that takes place in the transition (from the point of view of usual ...
Patricia Peratto
doaj +1 more source