Výsledky vyhledávání - Semantics of Programming Languages—Operational semantics*

Static analysis of arithmetical congruences Autor 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…”
Získat plný text

An attributed translation grammar for PL/0 Autor 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…”
Získat plný text

Relaxed Operational Semantics of Concurrent Programming Languages Autor 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…”
Získat plný text

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

Získat plný text

An introduction to metric semantics: operational and denotational models for programming and specification languages Autor 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…”
Získat plný text

Syntax and operational semantics of a probabilistic programming language with scopes Autor 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…”
Získat plný text

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

Získat plný text

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS Autor 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…”
Získat plný text

A rewriting logic approach to operational semantics Autor Ş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…”
Získat plný text

SOS formats and meta-theory: 20 years after Autor Mousavi, MohammadReza, Reniers, Michel A., Groote, Jan Friso

“…In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to define operational semantics of programming languages by a set of rules of a certain shape [G.D…”
Získat plný text

Defeasible logic programming: language definition, operational semantics, and parallelism Autor Garcia, Alejandro Javier

“…This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics…”
Získat plný text

Relaxed Operational Semantics of Concurrent Programming Languages Autor 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…”
Získat plný text

Nominal Sets: Names and Symmetry in Computer Science Autor 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…”
Získat plný text

Familial monads and structural operational semantics Autor Hirschowitz, Tom

“…We propose a categorical framework for structural operational semantics, in which we prove that under suitable hypotheses bisimilarity is a congruence…”
Získat plný text

Executable operational semantics of programming languages Autor Siritzky, Brian

“…Since the inception of computer languages there have been attempts to define programming languages formally…”
Získat plný text

Time refinement in a functional synchronous language Autor Mandel, Louis, Pasteur, Cédric, Pouzet, Marc

“… The paper presents reactive domains to simplify the programming of such systems. Reactive domains allow for several time scales to be defined and they enable time…”
Získat plný text

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

“…Small-step and big-step operational semantics are two fundamental styles of structural operational semantics (SOS…”
Získat plný text

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

“… This feature makes structural operational semantics useful for implementation of programming languages and also for verification purposes…”
Získat plný text

Programming languages and operational semantics: a concise overview Autor Papamichail, D

“…[MARC Fern]ández (King's College London, UK) is an active researcher of programming language semantics who has numerous publications in the field…”
Získat plný text

Fernandez, Maribel. Programming languages and operational semantics: a concise overview Autor Papamichail, D

Získat plný text