Cover Image

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /

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

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Weirich, Stephanie (Editor)
Format: eBook
Language:English
Published: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edition:1st ed. 2024.
Series:Lecture Notes in Computer Science, 14577
Subjects:
Programming languages (Electronic computers).
Compilers (Computer programs).
Programming Language.
Compilers and Interpreters.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of 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 .