28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Programming Languages and Systems

Meta-F: Proof Automation with SMT, Tactics, and Metaprograms

Semi-automated Reasoning About Non-determinism in C Expressions

Safe Deferred Memory Reclamation with Types

Composing Bidirectional Programs Monadically

Counters in Kappa: Semantics, Simulation, and Static Analysis

Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order

Probabilistic Programming Inference via Intensional Semantics

Distributive Disjoint Polymorphism for Compositional Programming

Verifiable Certificates for Predicate Subtyping

Compiling Sandboxes: Formally Verified Software Fault Isolation

Incremental -Calculus in Cache-Transfer Style

Manifest Deadlock-Freedom for Shared Session Types

A Categorical Model of an -typed -calculus

A Process Algebra for Link Layer Protocols

Data Races and Static Analysis for Interrupt-Driven Kernels

An Abstract Domain for Trees with Numeric Relations

A Static Higher-Order Dependency Pair Framework

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses

Program Analysis and Automated Verification

Votre panier

Programming Languages and Systems

Gratuite

description_of_book

Informations supplémentaires

À propos des auteurs

Luís Caires(editor)

Luís Caires(editor)