Programming Languages and Systems 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 /

Programming Languages and Systems 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 /

Show other versions (2)

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Sergey, Ilya (Editor)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2022.
Edition:1st ed. 2022.
Series:Lecture Notes in Computer Science, 13240
Subjects:
Compilers (Computer programs).
Computer science.
Microprogramming .
Computer networks .
Computer programming.
Compilers and Interpreters.
Theory of Computation.
Control Structures and Microprogramming.
Computer Communication Networks.
Programming Techniques.
Online Access:Link to Metadata
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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.

Similar Items