More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

26. ESOP 2017: Uppsala, Sweden (Part of ETAPS 2017)

> Home > Conferences and Workshops > ESOP
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/esop/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/2017
Hongseok Yang:
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science 10201, Springer 2017, ISBN 978-3-662-54433-4
- view
  authority control:
- export record
  dblp key:
  - conf/esop/AlpuimOS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/AlpuimOS17
João Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi:
Disjoint Polymorphism. 1-28
- view
  authority control:
- export record
  dblp key:
  - conf/esop/AnconaDZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/AnconaDZ17
Davide Ancona, Francesco Dagnino, Elena Zucca:
Generalizing Inference Systems by Coaxioms. 29-55
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Atkey17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Atkey17
Robert Atkey:
Observed Communication Semantics for Classical Processes. 56-82
- view
  authority control:
- export record
  dblp key:
  - conf/esop/DArgenioBBFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/DArgenioBBFH17
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. 83-110
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BlanchetteBL0T17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BlanchetteBL0T17
Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, Dmitriy Traytel:
Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants. 111-140
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BonchiGKSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BonchiGKSZ17
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Confluence of Graph Rewriting with Interfaces. 141-169
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BouajjaniEEOT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BouajjaniEEOT17
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran:
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. 170-200
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BoutillierEK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BoutillierEK17
Pierre Boutillier, Thomas Ehrhard, Jean Krivine:
Incremental Update for Graph Rewriting. 201-228
- view
  authority control:
- export record
  dblp key:
  - conf/esop/CairesP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CairesP17
Luís Caires, Jorge A. Pérez:
Linearity, Control Effects, and Behavioral Types. 229-259
- view
  authority control:
- export record
  dblp key:
  - conf/esop/ChargueraudP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ChargueraudP17
Arthur Charguéraud, François Pottier:
Temporary Read-Only Permissions for Separation Logic. 260-286
- view
  authority control:
- export record
  dblp key:
  - conf/esop/ChatterjeeKMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ChatterjeeKMP17
Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis:
Faster Algorithms for Weighted Recursive State Machines. 287-313
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Cotton-BarrattM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Cotton-BarrattM17
Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong:
ML and Extended Branching VASS. 314-340
- view
  authority control:
- export record
  dblp key:
  - conf/esop/CrubilleL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CrubilleL17
Raphaëlle Crubillé, Ugo Dal Lago:
Metric Reasoning About \lambda -Terms: The General Case. 341-367
- view
  authority control:
- export record
  dblp key:
  - conf/esop/CulpepperC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/CulpepperC17
Ryan Culpepper, Andrew Cobb:
Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring. 368-392
- view
  authority control:
- export record
  dblp key:
  - conf/esop/LagoG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LagoG17
Ugo Dal Lago, Charles Grellois:
Probabilistic Termination by Monadic Affine Sized Typing. 393-419
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Dinsdale-YoungP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Dinsdale-YoungP17
Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal:
Caper - Automatic Verification for Fine-Grained Concurrency. 420-447
- view
  authority control:
- export record
  dblp key:
  - conf/esop/DokoV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/DokoV17
Marko Doko, Viktor Vafeiadis:
Tackling Real-Life Relaxed Concurrency with FSL++. 448-475
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Dunfield17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Dunfield17
Jana Dunfield:
Extensible Datasort Refinements. 476-503
- view
  authority control:
- export record
  dblp key:
  - conf/esop/0001P17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/0001P17
Francisco Ferreira, Brigitte Pientka:
Programs Using Syntax with First-Class Binders. 504-529
- view
  authority control:
- export record
  dblp key:
  - conf/esop/GeorgesMOP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GeorgesMOP17
Aïna Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka:
LINCX: A Linear Logical Framework with First-Class Contexts. 530-555
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Gibbons17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Gibbons17
Jeremy Gibbons:
APLicative Programming with Naperian Functors. 556-583
- view
  authority control:
- export record
  dblp key:
  - conf/esop/GueneauMKN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GueneauMKN17
Armaël Guéneau, Magnus O. Myreen, Ramana Kumar, Michael Norrish:
Verified Characteristic Formulae for CakeML. 584-610
- view
  authority control:
- export record
  dblp key:
  - conf/esop/JansenKMNZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JansenKMNZ17
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger:
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. 611-638
- view
  authority control:
- export record
  dblp key:
  - conf/esop/KhyzhaDGP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KhyzhaDGP17
Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson:
Proving Linearizability Using Partial Orders. 639-667
- view
  authority control:
- export record
  dblp key:
  - conf/esop/KopS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KopS17
Cynthia Kop, Jakob Grue Simonsen:
The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming. 668-695
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Krebbers0BJDB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Krebbers0BJDB17
Robbert Krebbers, Ralf Jung, Ales Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal:
The Essence of Higher-Order Concurrent Separation Logic. 696-723
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Kuncar017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Kuncar017
Ondrej Kuncar, Andrei Popescu:
Comprehending Isabelle/HOL's Consistency. 724-749
- view
  authority control:
- export record
  dblp key:
  - conf/esop/LeinbergerLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LeinbergerLS17
Martin Leinberger, Ralf Lämmel, Steffen Staab:
The Essence of Functional Programming on Semantic Data. 750-776
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Miquey17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Miquey17
Étienne Miquey:
A Classical Sequent Calculus with Dependent Types. 777-803
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Padovani17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Padovani17
Luca Padovani:
Context-Free Session Type Inference. 804-830
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Sato017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Sato017
Ryosuke Sato, Naoki Kobayashi:
Modular Verification of Higher-Order Functional Programs. 831-854
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Staton17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Staton17
Sam Staton:
Commutative Semantics for Probabilistic Programming. 855-879
- view
  authority control:
- export record
  dblp key:
  - conf/esop/TangWXZW017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/TangWXZW017
Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang:
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. 880-908
- view
  authority control:
- export record
  dblp key:
  - conf/esop/TassarottiJ017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/TassarottiJ017
Joseph Tassarotti, Ralf Jung, Robert Harper:
A Higher-Order Logic for Concurrent Termination-Preserving Refinement. 909-936
- view
  authority control:
- export record
  dblp key:
  - conf/esop/WoodDLE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WoodDLE17
Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach:
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. 937-963
- view
  authority control:
- export record
  dblp key:
  - conf/esop/XiongPNG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/XiongPNG17
Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner:
Abstract Specifications for Concurrent Maps. 964-990

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.