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

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

Slicing from formal semantics: Chisel—a tool for generic program slicing Autor Asăvoae, Irina Măriuca, Asăvoae, Mihail, Riesco, Adrián

“…We describe Chisel, a tool that synthesizes a program slicer directly from a given algebraic specification of a programming language operational semantics…”
Získat plný text

Formal Verification for Assembly Language: Operational Semantics Modeling of RISC-V Instructions Autor Meem, Fatema Islam

“… This research focuses on the operational semantics modeling of RISC-V instructions, a foundational step in establishing a robust verification framework for assembly language programming…”
Získat plný text

Automatically deriving control-flow graph generators from operational semantics Autor Koppel, James, Kearl, Jackson, Solar-Lezama, Armando

“… from a language’s operational semantics. Our approach first introduces a new algorithm for converting a large class of small-step operational semantics to an abstract machine…”
Získat plný text

Better living through operational semantics: an optimizing compiler for radio protocols Autor Mainland, Geoffrey

“… lack of a formal semantics. Our first contribution is a core language, operational semantics, and type system for Ziria…”
Získat plný text

GraphRedex: Look at your research Autor Gurdeep Singh, Robbert, Scholliers, Christophe

“…A significant aspect of designing new programming languages is to define their operational semantics…”
Získat plný text

String Diagrams for \(\lambda\)-calculi and Functional Computation Autor Ghica, Dan, Zanasi, Fabio

“… Closed Categories, the core mathematical model of the lambda calculus and of functional programming languages…”
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

Context-Updates Analysis and Refinement in Chisel Autor Asavoae, Irina Mariuca, Asavoae, Mihail, Riesco, Adrian

“…This paper presents the context-updates synthesis component of Chisel--a tool that synthesizes a program slicer directly from a given algebraic specification of a programming language operational semantics…”
Získat plný text

Engineering a Formally Verified Automated Bug Finder Autor Correnson, Arthur, Steinhoefel, Dominic

“…)? This paper presents a systematic approach for engineering provably sound and complete symbolic execution-based bug finders by relating a programming language's operational semantics…”
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