Programming Languages and Systems [E-Book] : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Ilya Sergey.
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this vol...
Saved in:
Full text |
|
Personal Name(s): | Sergey, Ilya, editor |
Edition: |
1st edition 2022. |
Imprint: |
Cham :
Springer,
2022
|
Physical Description: |
XIV, 604 pages 95 illustrations (online resource) |
Note: |
englisch |
ISBN: |
9783030993368 |
DOI: |
10.1007/978-3-030-99336-8 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Lecture Notes in Computer Science ;
13240 |
Subject (LOC): |
- Categorical Foundation of Gradient-Based Learning
- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
- Foundations for Entailment Checking in Quantitative Separation Logic
- Extracting total Amb programs from proofs
- Why3-do: The Way of Harmonious Distributed System Proofs
- Relaxed virtual memory in Armv8-A
- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
- The Trusted Computing Base of the CompCert Verified Compiler
- View-Based Owicki-Gries Reasoning for Persistent x86-TSO
- Abstraction for Crash-Resilient Objects
- Static Race Detection for Periodic Programs
- Probabilistic Total Store Ordering
- Linearity and Uniqueness: An Entente Cordiale
- A Framework for Substructural Type Systems
- A Dependent Dependency Calculus
- Polarized Subtyping
- Structured Handling of Scoped Effects
- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style
- A Predicate Transformer for Choreographies
- Comparing the expressiveness of the -calculus and CCS
- Concurrent NetKAT.