Programming Languages and Systems : : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings /

Programming Languages and Systems : : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings / / edited by Thomas Wies.

Show other versions (1)

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this vol...

Full description

Saved in:
Bibliographic Details
Superior document:Lecture Notes in Computer Science, 13990
HerausgeberIn:
Wies, Thomas.
Place / Publishing House:Cham : : Springer Nature Switzerland :, Imprint: Springer,, 2023.
Year of Publication:2023
Edition:1st ed. 2023.
Language:English
Series:Lecture Notes in Computer Science, 13990
Physical Description:1 online resource (XII, 566 p. 172 illus., 74 illus. in color.)
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Logics for extensional, locally complete analysis via domain refinements
  • Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
  • Adversarial Reachability for Program-level Security Analysis
  • Automated Grading of Regular Expressions
  • Builtin Types viewed as Inductive Families
  • Pragmatic Gradual Polymorphism with References
  • Modal crash types for intermittent computing
  • Gradual Tensor Shape Checking
  • A Type System for Effect Handlers and Dynamic Labels
  • Interpreting Knowledge-based Programs
  • Contextual Modal Type Theory with Polymorphic Contexts
  • A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
  • Quorum Tree Abstractions of Consensus Protocols
  • MAG π : Types for Failure-Prone Communication
  • System $Fˆ\mu \omega$ with Context-free Session Types
  • Safe Session-Based Concurrency with Shared Linear State
  • Bunched Fuzz: Sensitivity for Vector Metrics
  • Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
  • Type-safe Quantum Programming in Idris
  • Automatic Alignment in Higher-Order Probabilistic Programming Languages.

Similar Items