default search action
29th ESOP@ETAPS 2020: Dublin, Ireland
- Peter Müller
:
Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Lecture Notes in Computer Science 12075, Springer 2020, ISBN 978-3-030-44913-1 - Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani
Trace-Relating Compiler Correctness and Secure Compilation. 1-28 - Danel Ahman, Andrej Bauer:
Runners in Action. 29-55 - Gilles Barthe
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. 56-83 - Rose Bohrer
Constructive Game Logic. 84-111 - Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. 112-140 - Andreea Costea
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. 141-168 - Francesco Dagnino
Soundness Conditions for Big-Step Semantics. 169-196 - Kimball Germane
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap. 197-223 - Ákos Hajdu
SMT-Friendly Formalization of the Solidity Memory Model. 224-250 - Sung-Shik Jongmans
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. 251-279 - Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic:
Verifying Visibility-Based Weak Consistency. 280-307 - Siddharth Krishna, Alexander J. Summers, Thomas Wies:
Local Reasoning for Global Graph Properties. 308-335 - Morten Krogh-Jespersen, Amin Timany
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. 336-365 - Jacob Laurel, Sasa Misailovic:
Continualization of Probabilistic Programs With Correction. 366-393 - Konstantinos Mamouras
Semantic Foundations for Deterministic Dataflow and Stream Processing. 394-427 - William Mansky
Connecting Higher-Order Separation Logic to a First-Order Outside World. 428-455 - Kazutaka Matsuda
Modular Inference of Linear Types for Multiplicity-Annotated Arrows. 456-483 - Yusuke Matsushita
RustHorn: CHC-Based Verification for Rust Programs. 484-514 - Adithya Murali
A First-Order Logic with Frames. 515-543 - Sreeja S. Nair
Proving the Safety of Highly-Available Distributed Objects. 544-571 - Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni:
Solving Program Sketches with Large Integer Values. 572-598 - Marco Paviotti
Modular Relaxed Dependencies in Weak Memory Concurrency. 599-625 - Ben Simner, Shaked Flur, Christopher Pulte
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. 626-655 - Fabian Thorand, Jurriaan Hage
Higher-Ranked Annotation Polymorphic Dependency Analysis. 656-683 - John Toman
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. 684-714 - Vasco T. Vasconcelos
Mixed Sessions. 715-742 - Jack Williams
Higher-Order Spreadsheets with Spilled Arrays. 743-769
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 2025-01-06 21:30 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: