Results 1 to 10 of about 121,111 (294)
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 +21 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
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 +3 more sources
The Semantics of Graph Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handling low-level data structures. The core of GP consists of four constructs: single-step
Detlef Plump, Sandra Steinert
doaj +9 more sources
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 +4 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
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 +8 more sources
Meta SOS - A Maude Based SOS Meta-Theory Framework [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic properties of language constructs just by syntactically analyzing their rule-based ...
Luca Aceto +2 more
doaj +4 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
Structural Resolution for Abstract Compilation of Object-Oriented Languages [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We propose abstract compilation for precise static type analysis of object-oriented languages based on coinductive logic programming. Source code is translated to a logic program, then type-checking and inference problems amount to queries to be solved ...
Luca Franceschini +2 more
doaj +1 more source