Results 21 to 30 of about 1,341,656 (346)
Operational Semantics for SPARQL Update [PDF]
Joint International Conference of Semantic Technology, 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.
Horne, Ross +2 more
openaire +4 more sources
Comodels and Effects in Mathematical Operational Semantics [PDF]
Foundations of Software Science and Computation Structure, 2013 Faris Abou-Saleh, Dirk Pattinson
openalex +2 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 +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
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
Operational Algorithmic Game Semantics
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023 We consider a simply-typed call-by-push-value calculus with state, and provide a fully abstract trace model via a labelled transition system (LTS) in the spirit of operational game semantics. By examining the shape of configurations and performing a series of natural optimisation steps based on name recycling, we identify a fragment for which the LTS ...
Bunting, B, Murawski, AS
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
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
IEEE Symposium on Security and Privacy, 2020 Bitcoin has been a popular research topic recently. Ethereum (ETH), a second generation of cryptocurrency, extends Bitcoin’s design by offering a Turing-complete programming language called Solidity to develop smart contracts.
Jiao Jiao +5 more
semanticscholar +1 more source
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