Full Description
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
Contents
Quantum Programming / Domain-Specific Languages.- Circuit Width Estimation via Effect Typing and Linear Dependency.- On the Hardness of Analyzing Quantum Programs Quantitatively.- Reconciling Partial and Local Invertibility.- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping.- Verification.- A Denotational Approach to Release/Acquire Concurrency.- Intel PMDK Transactions: Specification, Validation and Concurrency.- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency.- Verifying Persistent Libraries.- Hyperproperty Verification as CHC Satisfiability.- Program Analysis.- Maximal Quantified Precondition Synthesis for Linear Array Loops.- Verified Inlining and Specialisation for PureCake.- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.- Higher-Order LCTRSs andTheir Termination.- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture.- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law .
