default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th 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, Éric Tanter, Jérémy Thibault:
Trace-Relating Compiler Correctness and Secure Compilation. 1-28 - Danel Ahman, Andrej Bauer:
Runners in Action. 29-55 - Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo:
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. 56-83 - Rose Bohrer, André Platzer:
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, Amy Zhu, Nadia Polikarpova, Ilya Sergey:
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. 141-168 - Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness Conditions for Big-Step Semantics. 169-196 - Kimball Germane, Michael D. Adams:
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap. 197-223 - Ákos Hajdu, Dejan Jovanovic:
SMT-Friendly Formalization of the Solidity Memory Model. 224-250 - Sung-Shik Jongmans, Nobuko Yoshida:
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, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal:
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, Wolf Honoré, Andrew W. Appel:
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, Takeshi Tsukada, Naoki Kobayashi:
RustHorn: CHC-Based Verification for Rust Programs. 484-514 - Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan:
A First-Order Logic with Frames. 515-543 - Sreeja S. Nair, Gustavo Petri, Marc Shapiro:
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, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, Mark Batty:
Modular Relaxed Dependencies in Weak Memory Concurrency. 599-625 - Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell:
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, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi:
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. 684-714 - Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido:
Mixed Sessions. 715-742 - Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar:
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-11-08 00:56 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:
