Results 1 to 10 of about 1,368,384 (142)
Relaxed Operational Semantics of Concurrent Programming Languages [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model.
Gustavo Petri +2 more
doaj +3 more sources
Categorical model of structural operational semantics for imperative language
Journal of Information and Organizational Sciences, 2016 Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics.
William Steingartner, Valerie Novitzká
doaj +2 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
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
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
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