Suchergebnisse - "programming language semantics"

Learning Deep Semantics for Test Completion von 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 …”
Volltext

Cyber-Physical Verification of Intermittently Powered Embedded Systems von 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' …”
Volltext

Automatic differentiation for ML-family languages: Correctness via logical relations von 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 …”
Volltext

Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python von 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 …”
Volltext

One down, 699 to go: or, synthesising compositional desugarings von 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 …”
Volltext

HOL4P4: Mechanized Small-Step Semantics for P4 von 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 …”
Volltext

Compositional execution semantics for business process verification von 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 …”
Volltext

Hardware Trojan detection via rewriting logic von 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 …”
Volltext

Nominal Sets: Names and Symmetry in Computer Science von 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 …”
Volltext

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java von 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 …”
Volltext

An operational interpretation of coinductive types von Czajka, Łukasz

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

Syntax and operational semantics of a probabilistic programming language with scopes von 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 …”
Volltext

Mathematical Aspects of Logic Programming Semantics von 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 …”
Volltext

A Theorem Proving Approach to Programming Language Semantics von 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 …”
Volltext

A language-independent proof system for full program equivalence von 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 …”
Volltext

MetaML and multi-stage programming with explicit annotations von 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 …”
Volltext

Full Abstraction for PCF von 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 …”
Volltext

Regression test selection using class, sequence and activity diagrams von 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 …”
Volltext

Twenty years of rewriting logic von Meseguer, José

Volltext

Proving Properties of Programs on Hierarchical Nominative Data von 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 …”
Volltext