Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd 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
a service of 
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-07-24 21:53 CEST 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:
