Search Results - "PROGRAMMING language semantics"

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

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

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

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

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java by Therese Hardin, Mathieu Jaume, Veronique Viguie Donzeau-Gouge, François Pessaux

“…This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their…”
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

Mathematical Aspects of Logic Programming Semantics by Hitzler, Pascal, Seda, Anthony

“…Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for…”
Get full text

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

“…The semantics of programming languages is one of the core topics in computer science. This topic is formalism-heavy and requires the student to attempt…”
Get full text

A language-independent proof system for full program equivalence by Ciobâcă, Ştefan, Lucanu, Dorel, Rusu, Vlad, Roşu, Grigore

“…Two programs are fully equivalent if, for the same input, either they both diverge or they both terminate with the same result. Full equivalence is an adequate…”
Get full text

MetaML and multi-stage programming with explicit annotations by Taha, Walid, Sheard, Tim

“…We introduce MetaML, a practically motivated, statically typed multi-stage programming language. MetaML is a “real” language. We have built an implementation…”
Get full text

Full Abstraction for PCF by Abramsky, Samson, Jagadeesan, Radha, Malacaria, Pasquale

“…An intensional model for the programming language PCF is described in which the types of PCF are interpreted by games and the terms by certain history-free…”
Get full text

Regression test selection using class, sequence and activity diagrams by Dahiya, Sumit, Bhatia, Rajesh K, Rattan, Dhavleesh

“…Regression test selection is a process to select a subset of existing test cases, which are then used with some new test cases for regression testing…”
Get full text

Twenty years of rewriting logic by Meseguer, José

Get full text

Proving Properties of Programs on Hierarchical Nominative Data by Ievgen Ivanov, Mykola Nikitchenko, Volodymyr G. Skobelev

“…In the paper we develop methods for proving properties of programs on hierarchical nominative data on the basis of the composition-nominative approach. In…”
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…”
Get full text