Search Results - "Programming language semantics"

Conceptualising Programming Language Semantics by Astarte, Troy Kaighin

“…The semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has…”
Get full text

Programming language semantics: It’s easy as 1,2,3 by HUTTON, GRAHAM

“…Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging…”
Get full text

Interfacing Programming Language Semantics and Pragmatics: What Does “Hello, World” Mean? by Sack, Warren

“…In 1978, Brian Kernighan and Dennis Ritchie insisted that the first program to write in a new language is one to print the words “hello, world.” From then…”
Get full text

A Theorem Proving Approach to Programming Language Semantics by Roy, Subhajit

“… We argue that modern theorem provers are excellent aids to teaching and understanding programming language semantics…”
Get full text

On the Learnability of Programming Language Semantics by Ghica, Dan R., Alyahya, Khulood

“…Game semantics is a powerful method of semantic analysis for programming languages. It gives mathematically accurate models ("fully abstract") for a wide…”
Get full text

Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning by Alvarez, Mario M

“… In this dissertation we describe Gazelle, a system for composing programming-language semantics out of reusable fragments…”
Get full text

Learning Deep Semantics for Test Completion by Nie, Pengyu, Banerjee, Rahul, Li, Junyi Jessy, Mooney, Raymond J., Gligoric, Milos

“…Writing tests is a time-consuming yet essential task during software development. We propose to leverage recent advances in deep learning for text and code…”
Get full text

Cyber-Physical Verification of Intermittently Powered Embedded Systems by Bohrer, Rose, Islam, Bashima

“…Intermittently powered embedded systems are a foundational and growing component of the Internet of Things. It is essential to rigorously prove these systems'…”
Get full text

Automatic differentiation for ML-family languages: Correctness via logical relations by Lucatelli Nunes, Fernando, Vákár, Matthijs

“…We give a simple, direct, and reusable logical relations technique for languages with term and type recursion and partially defined differentiable functions…”
Get full text

Programming language semantics as a foundation for bayesian inference by Szymczak, Marcin

“…Bayesian modelling, in which our prior belief about the distribution on model parameters is updated by observed data, is a popular approach to statistical data…”
Get full text

Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python by Hardin, Therese, Jaume, Mathieu, Pessaux, Francois, Viguie Donzeau-Gouge, Veronique

“…This book the first of two volumes explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their…”
Get full text

One down, 699 to go: or, synthesising compositional desugarings by Bartha, Sándor, Cheney, James, Belle, Vaishak

“…Programming or scripting languages used in real-world systems are seldom designed with a formal semantics in mind from the outset. Therefore, developing…”
Get full text

HOL4P4: Mechanized Small-Step Semantics for P4 by Alshnakat, Anoud, Lundberg, Didrik, Guanciale, Roberto, Dam, Mads

“…We present the first semantics of the network data plane programming language P4 able to adequately capture all key features of P416, the most recent version…”
Get full text

Proceedings 7th International Workshop on Computing with Terms and Graphs: Programming Language Semantics using K - true concurrency through term graph rewriting by Serbanuta, Traian Florin

Get full text

Understanding Programming Language Semantics For The Sophisticated World by Wu, Trong

“… for computation and that created new computing disciplines. This paper addresses the understanding of programming language semantics that will help user in selection…”
Get full text

Compositional execution semantics for business process verification by Stachtiari, Emmanouela, Katsaros, Panagiotis

“…•We define a complete execution semantics of BPEL through a new methodology.•We verify important correctness properties using business process models.•We test…”
Get full text

On the Learnability of Programming Language Semantics by Ghica, Dan R, Alyahya, Khulood

“…Game semantics is a powerful method of semantic analysis for programming languages. It gives mathematically accurate models ("fully abstract") for a wide…”
Get full text

Hardware Trojan detection via rewriting logic by Asăvoae, Irina Măriuca, Tofighi Shirazi, Ramtine, Riesco, Adrián, Yasuyoshi, Uemura

“…Hardware security studies, discovers, and classifies hardware attacks as well as defense strategies such as prevention and protection methods along the entire…”
Get full text

An operational interpretation of coinductive types by Czajka, Łukasz

“…We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account the…”
Get full text

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

“…Dzhafarov and Kujala (2015) have introduced a contextual probability theory called Contextuality-by-Default (C-b-D) which is based on three principles. The…”
Get full text