![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
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
, Ugo Dal Lago
:
Circuit Width Estimation via Effect Typing and Linear Dependency. 3-30 - Martin Avanzini
, Georg Moser
, Romain Péchoux
, Simon Perdrix
:
On the Hardness of Analyzing Quantum Programs Quantitatively. 31-58 - Anders Ågren Thuné
, Kazutaka Matsuda
, Meng Wang
:
Reconciling Partial and Local Invertibility. 59-89 - Hiroya Fujinami
, Ichiro Hasuo
:
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. 90-118
Verification
- Yotam Dvir
, Ohad Kammar
, Ori Lahav
:
A Denotational Approach to Release/Acquire Concurrency. 121-149 - Azalea Raad
, Ori Lahav
, John Wickerson
, Piotr Balcer, Brijesh Dongol
:
Intel PMDK Transactions: Specification, Validation and Concurrency. 150-179 - Azalea Raad
, Ori Lahav
, John Wickerson
, Piotr Balcer, Brijesh Dongol
:
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
, Kacper Korban
, Magnus O. Myreen
:
Verified Inlining and Specialisation for PureCake. 275-301 - Daniel Lundén
, Lars Hummelgren, Jan Kudlicka
, Oscar Eriksson
, David Broman
:
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. 302-330 - Liye Guo
, Cynthia Kop
:
Higher-Order LCTRSs and Their Termination. 331-357
Abstract Interpretation
- Sven Keidel
, Dominik Helm
, Tobias Roth
, Mira Mezini
:
A Modular Soundness Theory for the Blackboard Analysis Architecture. 361-390 - Pierre Lermusiaux
, Benoît Montagu
:
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. 391-420 - Raphaël Monat
, Aymeric Fromherz
, Denis Merigoux
:
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. 421-450
![](https://dblp.org/img/cog.dark.24x24.png)
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.