default search action
33rd ESOP@ETAPS 2024: Luxembourg City, Luxembourg - Part II
- Stephanie Weirich
:
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. Lecture Notes in Computer Science 14577, Springer 2024, ISBN 978-3-031-57266-1
Quantum Programming/Domain-Specific Languages
- Andrea Colledan
Circuit Width Estimation via Effect Typing and Linear Dependency. 3-30 - Martin Avanzini
On the Hardness of Analyzing Quantum Programs Quantitatively. 31-58 - Anders Ågren Thuné
Reconciling Partial and Local Invertibility. 59-89 - Hiroya Fujinami
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. 90-118
Verification
- Yotam Dvir
A Denotational Approach to Release/Acquire Concurrency. 121-149 - Azalea Raad
Intel PMDK Transactions: Specification, Validation and Concurrency. 150-179 - Azalea Raad
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. 180-184 - Léo Stefanesco, Azalea Raad, Viktor Vafeiadis:
Specifying and Verifying Persistent Libraries. 185-211 - Shachar Itzhaky, Sharon Shoham, Yakir Vizel:
Hyperproperty Verification as CHC Satisfiability. 212-241
Program Analysis
- Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza:
Maximal Quantified Precondition Synthesis for Linear Array Loops. 245-274 - Hrutvik Kanabar
Verified Inlining and Specialisation for PureCake. 275-301 - Daniel Lundén
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. 302-330 - Liye Guo
Higher-Order LCTRSs and Their Termination. 331-357
Abstract Interpretation
- Sven Keidel
A Modular Soundness Theory for the Blackboard Analysis Architecture. 361-390 - Pierre Lermusiaux
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. 391-420 - Raphaël Monat
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. 421-450
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: