Search Results - Semantics of Programming Languages- Operational semantics

Static analysis of arithmetical congruences by Granger, Philippe

“…In this paper, a new kind of static (or semantic) analysis is defined: congruence analysis, which is conceived to discover the properties of the following type…”
Get full text

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

“…We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model…”
Get full text

Syntax and operational semantics of a probabilistic programming language with scopes by Bruza, Peter D.

“… is recorded. The aim of this article is to relate this principle to block structured computer programming languages where variables are declared local to a construct called a “scope…”
Get full text

From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert

Get full text

React-tRace: A Semantics for Understanding React Hooks: An Operational Semantics and a Visualizer for Clarifying React Hooks by Lee, Jay, Ahn, Joongwon, Yi, Kwangkeun

“… Hooks are a set of APIs that manage side effects in function components in React. However, their semantics are often seen as opaque to developers, leading to UI bugs…”
Get full text

An attributed translation grammar for PL/0 by Salas McClyskey, Carolina Paciencia

“…In this paper an attributed translation grammar (abbreviated as ATG) for the PL/0 is defined. The translation achieved by the ATG is the generation of the…”
Get full text

Familial monads and structural operational semantics by Hirschowitz, Tom

“…We propose a categorical framework for structural operational semantics, in which we prove that under suitable hypotheses bisimilarity is a congruence…”
Get full text

An introduction to metric semantics: operational and denotational models for programming and specification languages by van Breugel, Franck

“…Our focus is on the semantics of programming and specification languages. Over the years, different approaches to give semantics to these languages have been put forward…”
Get full text

Denotational and operational semantics for interaction languages: Application to trace analysis by Mahe, Erwan, Gaston, Christophe, Le Gall, Pascale

“…) are widely used, with formalisms such as Message Sequence Charts (MSC) or UML-SD. Yet, only restricted subsets of these languages are associated to formal semantics, most of which are given by translation towards other formalisms…”
Get full text

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS by TKACHUK, STANISLAV, MELNYK, OLEKSII

“…) education, the inclusion of a block of questions devoted to the semiotics of programming languages into the content of learning languages and programming methods will contribute to the successful…”
Get full text

Towards a Higher-Order Mathematical Operational Semantics by Goncharov, Sergey, Milius, Stefan, Schröder, Lutz, Tsampas, Stelios, Urbat, Henning

“… and Plotkin’s framework to a higher-order setting. In our theory, the operational semantics of higher-order languages is represented by certain dinatural transformations that we term pointed higher-order GSOS laws…”
Get full text

Categorical Model of Structural Operational Semantics for Imperative Language by Steingartner, William, Novitzká, Valerie

“… This feature makes structural operational semantics useful for implementation of programming languages and also for verification purposes…”
Get full text

Fair Operational Semantics by Lee, Dongjae, Cho, Minki, Kim, Jinwoo, Moon, Soonwon, Song, Youngju, Hur, Chung-Kil

“… This paper proposes FOS (Fair Operational Semantics), a theory capable of expressing arbitrary notions of fairness as an operational semantics and reasoning about these notions of fairness…”
Get full text

A rewriting logic approach to operational semantics by Şerbănuţă, Traian Florin, Roşu, Grigore, Meseguer, José

“…This paper shows how rewriting logic semantics (RLS) can be used as a computational logic framework for operational semantic definitions of programming languages…”
Get full text

Type-directed operational semantics for gradual typing by YE, WENJIA, OLIVEIRA, BRUNO C. D. S.

“… This contrasts with more conventional formulations of programming language semantics, where the semantics of a language is given directly using, for instance, an operational semantics…”
Get full text

OPERATIONAL CONCEPTUAL TRANSITION SYSTEMS AND THEIR APPLICATION TO DEVELOPMENT OF CONCEPTUAL OPERATIONAL SEMANTICS OF PROGRAMMING LANGUAGES by Anureev, Igor

Get full text

A Pure Demand Operational Semantics with Applications to Program Analysis by Smith, Scott, Zhang, Robert

“…This paper develops a novel minimal-state operational semantics for higher-order functional languages that uses only the call stack and a source program point or a lexical level as the complete state information…”
Get full text

Big Steps in Higher-Order Mathematical Operational Semantics by Goncharov, Sergey, Partow, Pouya, Tsampas, Stelios

“…Small-step and big-step operational semantics are two fundamental styles of structural operational semantics (SOS…”
Get full text

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog by Chen, Qinlin, Zhang, Nairen, Wang, Jinpeng, Tan, Tian, Xu, Chang, Ma, Xiaoxing, Li, Yue

“… Specifically, we define the formal semantics of Verilog using a core language called λV, which captures the essence of Verilog using as few language structures as possible. λ…”
Get full text

Nominal Sets: Names and Symmetry in Computer Science by Pitts, Andrew M.

“…Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs…”
Get full text