default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th ESOP@ETAPS 2019: Prague, Czech Republic
- Luís Caires:
Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Lecture Notes in Computer Science 11423, Springer 2019, ISBN 978-3-030-17183-4
Program Verification
- Glen Mével, Jacques-Henri Jourdan
, François Pottier:
Time Credits and Time Receipts in Iris. 3-29 - Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy:
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. 30-59 - Dan Frumin, Léon Gondelman, Robbert Krebbers:
Semi-automated Reasoning About Non-determinism in C Expressions. 60-87 - Ismail Kuru, Colin S. Gordon:
Safe Deferred Memory Reclamation with Types. 88-116
Language Design
- Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones:
Codata in Action. 119-146 - Li-yao Xia, Dominic Orchard, Meng Wang:
Composing Bidirectional Programs Monadically. 147-175 - Pierre Boutillier, Ioana Cristescu, Jérôme Feret:
Counters in Kappa: Semantics, Simulation, and Static Analysis. 176-204 - Ferdinand Vesely, Kathleen Fisher:
One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. 205-231
Program Semantics
- Dylan McDermott, Alan Mycroft:
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. 235-262 - Ugo Dal Lago, Francesco Gavazzo:
Effectful Normal Form Bisimulation. 263-292 - Samuele Buro, Isabella Mastroeni:
On the Multi-Language Construction. 293-321 - Simon Castellan, Hugo Paquet:
Probabilistic Programming Inference via Intensional Semantics. 322-349
Types
- Taro Sekiyama, Atsushi Igarashi:
Handling Polymorphic Algebraic Effects. 353-380 - Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers:
Distributive Disjoint Polymorphism for Compositional Programming. 381-409 - Beniamino Accattoli, Giulio Guerrieri, Maico Leberle:
Types by Need. 410-439 - Frédéric Gilbert:
Verifiable Certificates for Predicate Subtyping. 440-466
Security and Incremental Computation
- Marco Patrignani, Deepak Garg:
Robustly Safe Compilation. 469-498 - Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke:
Compiling Sandboxes: Formally Verified Software Fault Isolation. 499-524 - Mario Alvarez-Picallo, Alex Eyers-Taylor, Michael Peyton Jones, C.-H. Luke Ong:
Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog. 525-552 - Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster:
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation. 553-580
Concurrency and Distribution
- Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. 583-610 - Stephanie Balzer, Bernardo Toninho, Frank Pfenning:
Manifest Deadlock-Freedom for Shared Session Types. 611-639 - Ken Sakayori, Takeshi Tsukada:
A Categorical Model of an \mathbf i/o -typed \pi -calculus. 640-667 - Rob van Glabbeek, Peter Höfner, Michael Markl:
A Process Algebra for Link Layer Protocols. 668-693
Program Analysis and Automated Verification
- Nikita Chopra, Rekha R. Pai, Deepak D'Souza:
Data Races and Static Analysis for Interrupt-Driven Kernels. 697-723 - Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout:
An Abstract Domain for Trees with Numeric Relations. 724-751 - Carsten Fuhs, Cynthia Kop:
A Static Higher-Order Dependency Pair Framework. 752-782 - Henning Basold, Ekaterina Komendantskaya, Yue Li:
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. 783-813
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-18 01:13 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:
