Results 1 to 10 of about 188,404 (207)
Operational Semantics for SPARQL Update [PDF]
, 2012 Concurrent fine grained updates are essential for using RDF stores in dynamic modern Web applications, where users increasingly contribute content as often as they read content. SPARQL Update is a language proposed by the W3C for fine grained updates for RDF stores.
Ross Horne +2 more
openaire +5 more sources
From algebra to operational semantics [PDF]
Information Processing Letters, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
He Jifeng, C A R Hoare
exaly +4 more sources
Operational semantics: Concepts and their expression [PDF]
Information Processing Letters, 2003 One of the earliest approaches to giving formal semantics for programming languages was ``operational semantics''. Enthusiasm for this approach has waxed and waned. The main objective of this paper is to tease apart some concepts involved in writing such operational descriptions and (as separately as possible) to discuss useful notations.
Cliff B Jones
exaly +3 more sources
Towards a mathematical operational semantics [PDF]
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 2002 We present a categorical theory of 'well-behaved' operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial ...
Plotkin, Gordon, Turi, Daniele
openaire +3 more sources
Modular structural operational semantics
The Journal of Logic and Algebraic Programming, 2004 Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity
Peter D Mosses
exaly +6 more sources
Modules over monads and operational semantics (expanded version) [PDF]
Logical Methods in Computer Science, 2022 This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi.
André Hirschowitz +2 more
doaj +1 more source
Operational semantics for signal handling [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run.
Maxim Strygin, Hayo Thielecke
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 ...
Grégoire Hamon, John M. Rushby
openaire +1 more source
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
Regular Expression Matching and Operational Semantics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a deterministic finite automaton, such implementations typically match the ...
Asiri Rathnayake, Hayo Thielecke
doaj +1 more source