default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID34th ESOP 2025: Hamilton, ON, Canada - Part II
- Viktor Vafeiadis
:
Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II. Lecture Notes in Computer Science 15695, Springer 2025, ISBN 978-3-031-91120-0 - Amir Kafshdar Goharshady, S. Hitarth, Sergei Novozhilov:
Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences. 1-30 - Pierre Goutagny, Aymeric Fromherz, Raphaël Monat:
CUTECat: Concolic Execution for Computational Law. 31-61 - Sung-Shik Jongmans:
First-Person Choreographic Programming with Continuation-Passing Communications. 62-90 - Roméo La Spina, Delphine Demange, Sandrine Blazy:
Formal Verification of WTO-based Dataflow Solvers. 91-118 - Roméo La Spina, Delphine Demange, Sandrine Blazy:
Formal Verification of WTO-based Dataflow Solvers - Artifact Experience Report. 119-124 - Matthew Alan Le Brun, Simon Fowler, Ornela Dardha:
Multiparty Session Types with a Bang! 125-153 - Dragana Milovancevic, Mario Bucev, Marcin Wojnarowski, Samuel Chassot, Viktor Kuncak:
Formal Autograding in a Classroom. 154-174 - Andrei Paskevich, Paul Patault, Jean-Christophe Filliâtre:
coma, an Intermediate Verification Language with Explicit Abstraction Barriers. 175-201 - Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi:
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. 202-229 - Florian Sextl, Adam Rogalewicz, Tomás Vojnar, Florian Zuleger:
Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. 230-257 - Christian Skalka, Joseph P. Near:
SMT-Boosted Security Types for Low-Level MPC. 258-285 - Sergei Stepanenko, Emma Nardino, Dan Frumin, Amin Timany, Lars Birkedal:
Context-Dependent Effects in Guarded Interaction Trees. 286-313 - Felix Stutz, Emanuele D'Osualdo:
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols. 314-346 - Yaozhu Sun, Bruno C. d. S. Oliveira:
Named Arguments as Intersections, Optional Arguments as Unions. 347-373 - Tim Whiting, Kimball Germane:
Context-Sensitive Demand-Driven Control-Flow Analysis. 374-401 - Risa Yamada, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato:
On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic. 402-428
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 2026-03-15 22:14 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:
