Results 1 to 10 of about 57,497 (180)
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 +17 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 +5 more sources
Distributive Laws for Monotone Specifications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour.
Jurriaan Rot
doaj +13 more sources
Tree rules in probabilistic transition system specifications with negative and quantitative premises [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that isimilarity is a ...
Pedro R. D'Argenio +2 more
doaj +5 more sources
Structural Operational Semantics for Stochastic Process Calculi [PDF]
, 2008 A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes.
Bartek Klin, Vladimiro Sassone
openalex +4 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 +3 more sources
Reasoning about modular datatypes with Mendler induction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics.
Paolo Torrini, Tom Schrijvers
doaj +4 more sources
Presenting Distributive Laws [PDF]
Logical Methods in Computer Science, 2015 Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational ...
Marcello M. Bonsangue +3 more
doaj +9 more sources
SOS rule formats for convex and abstract probabilistic bisimulations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Probabilistic transition system specifications (PTSSs) in the ntμfθ/ntμxθ format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that bisimilarity is a ...
Pedro R. D'Argenio +2 more
doaj +5 more sources
Reasoning in Abella about Structural Operational Semantics Specifications
Electronic Notes in Theoretical Computer Science, 2009 Andrew Gacek +2 more
exaly +2 more sources