Sökt på: Serie foundations and trends® in programming languages
totalt 17 träffar
Reconciling Abstraction with High Performance
Reconciling Abstraction with High Performance teaches the reader how to write typed code generators, how to make them modular, and how to gradually introduce domain-specific …
Programming with "Big Code"
The vast amount of code available on the web is increasing daily. Open-source hosting sites such as GitHub contain billions of lines of code. Community question-answering sites …
Introduction to Neural Network Verification
Over the past decade, a number of hardware and software advances have conspired to thrust deep learning and neural networks to the forefront of computing. Deep learning has created …
Formal Models and Techniques for Analyzing Security Protocols
Security protocols are distributed programs that are aimed at securing communications by the means of cryptography. They are for instance used to secure electronic payments, home …
Progress of Concurrent Objects
Implementations of concurrent objects in programming languages should guarantee linearizability and a progress property. These progress properties describe conditions under which a …
Neurosymbolic Programming
Neurosymbolic programming is an emerging area that bridges the areas of deep learning and program synthesis. As in classical machine learning, the goal is to learn functions from …
QED at Large
Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their …
Principles of Eventual Consistency
In globally distributed systems, shared state is never perfect. When communication is neither fast nor reliable, it is not possible to achieve strong consistency, low latency, and …
Shape Analysis
Shape analyses focusing on inferring highly complex properties of heap-manipulating programs are techniques used in the automatic verification of infinite-state programs.This …
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This monograph presents abstract …
Pointer Analysis
Pointer analysis is a fundamental static program analysis with a rich literature and wide applications. The goal of pointer analysis is to compute an approximation of the set of …
Computer-Assisted Query Formulation
Database management systems (DBMS) typically provide an application programming interface for users to issue queries using query languages such as SQL. Many such languages were …