An Operational Semantics for CSP by Roscoe, A, Brookes, S, Walker, D

Operational semantics for signal handling by Maxim Strygin, Hayo Thielecke

“…We find the big-step style of operational semantics to be well suited to modelling signal handling. …”
Get full text

Operational Semantics for SPARQL Update by Horne, Ross, Sassone, Vladimiro, Gibbins, Nicholas

“…Secondly, the operational semantics is defined using relations over the abstract syntax. …”
Get full text
Get full text

Operational semantics for fun and profit by Goldsmith, M

“…But the calculation of the standard structured operational semantics of complex systems proves a bottleneck in the performance of the tool, and so we compile a custom inference system for each case, optimised for facilitating execution of the relevant queries. …”

From Algebra to Operational Semantics by Hoare, C, He, J, Sampaio, A

From Algebra to Operational Semantics by He, J, Hoare, C

Algebraic derivation of an operational semantics by Hoare, C, He, J, Sampaio, A

Operational Semantics of Annotated Reflex Programs by Igor S. Anureev

“…The paper presents the formal operational semantics of Reflex programs extended by annotations describing the formal specification of software requirements as a necessary basis for the application of such methods. …”
Get full text

Structured Operational Semantics for Graph Rewriting by Andrei Dorman, Tobias Heindel

“…Hence, the goal of this article is to obtain a compositional semantics for graph transformation system in analogy to the structural operational semantics (SOS) for Milner's Calculus of Communicating Systems (CCS). …”
Get full text

Modeling operational semantics of machine instructions by V. A. Padaryan, M. A. Soloviev, A. I. Kononov

“…This paper offers a model which allows describe operational semantics of machine instructions for various target architectures. …”
Get full text

Relaxed Operational Semantics of Concurrent Programming Languages by Gustavo Petri, Gérard Boudol, Bernard Serpette

Get full text

Typed Operational Semantics for Dependent Record Types by Yangyue Feng, Zhaohui Luo

“…Typed operational semantics is a method developed by H. Goguen to prove meta-theoretic properties of type systems. …”
Get full text

Operational Semantics of a Data Flow Language by Brock, Jarvis D.

“…The operation semantics O*T of ADFL are expressed by a two step process. …”
Get full text

A Modular Structural Operational Semantics for Delimited Continuations by Neil Sculthorpe, Paolo Torrini, Peter D. Mosses

“…It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. …”
Get full text

Modules over monads and operational semantics (expanded version) by André Hirschowitz, Tom Hirschowitz, Ambroise Lafont

Get full text

Structural Operational Semantics with transitivity rules and execution time by Patricia Peratto

“…We de¯ne an structural operational semantics of the core of an imperative language. …”
Get full text

Categorical model of structural operational semantics for imperative language by William Steingartner, Valerie Novitzká

Subjects: Get full text

Non-Interleaving Operational Semantics for Geographically Replicated Databases by Ciobanu, Gabriel, Horne, Ross

Get full text
Get full text

Operational Semantics for Fixed−Point Logics on Constraint Databases by Kreutzer, S

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics by Hoare, C