| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Programming languages and systems/ edited by Stephanie Weirich. |
| Reminder of title: |
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. |
| remainder title: |
ESOP 2024 |
| other author: |
Weirich, Stephanie. |
| corporate name: |
European Symposium on Programming |
| Published: |
Cham :Springer Nature Switzerland : : 2024., |
| Description: |
xvi, 452 p. :ill. (some col.), digital ;24 cm. |
| [NT 15003449]: |
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. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Computer programming - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-57267-8 |
| ISBN: |
9783031572678 |