Programming Languages and Systems

27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

  • Amal Ahmed
Open Access
Conference proceedings
ESOP 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10801)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10801)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Language Design

    1. Front Matter
      Pages 1-1
    2. Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira
      Pages 3-30 Open Access
    3. Kazutaka Matsuda, Meng Wang
      Pages 31-59 Open Access
    4. Klaus Ostermann, Julian Jabs
      Pages 60-85 Open Access
    5. Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha Roop, Reinhard von Hanxleden
      Pages 86-113 Open Access
  3. Probabilistic Programming

    1. Front Matter
      Pages 115-115
    2. Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
      Pages 117-144 Open Access
    3. Benjamin Bichsel, Timon Gehr, Martin Vechev
      Pages 145-185 Open Access
    4. Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
      Pages 186-213 Open Access
    5. Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Aleš Bizjak, Marco Gaboardi, Deepak Garg
      Pages 214-241 Open Access
  4. Types and Effects

    1. Front Matter
      Pages 243-243
    2. Pierre-Marie Pédrot, Nicolas Tabareau
      Pages 245-271 Open Access
    3. Ningning Xie, Bruno C. d. S. Oliveira
      Pages 272-299 Open Access
    4. Alex Simpson, Niels Voorneveld
      Pages 300-326 Open Access
    5. Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers
      Pages 327-354 Open Access
  5. Concurrency

    1. Front Matter
      Pages 355-355
    2. Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis
      Pages 357-384 Open Access
    3. Xuan-Bach Le, Aquinas Hobor
      Pages 385-414 Open Access
    4. Jafar Hamin, Bart Jacobs
      Pages 415-441 Open Access
    5. Parosh Aziz Abdulla, Bengt Jonsson, Cong Quy Trinh
      Pages 442-471 Open Access
  6. Security

    1. Front Matter
      Pages 473-473
    2. Lau Skorstengaard, Dominique Devriese, Lars Birkedal
      Pages 475-501 Open Access
    3. Marco Eilers, Peter Müller, Samuel Hitz
      Pages 502-529 Open Access
  7. Program Verification

    1. Front Matter
      Pages 531-531
    2. Armaël Guéneau, Arthur Charguéraud, François Pottier
      Pages 533-560 Open Access
    3. Samuel Merten, Alexander Bagnall, Gordon Stewart
      Pages 561-588 Open Access
    4. Brandon Moore, Lucas Peña, Grigore Rosu
      Pages 589-618 Open Access
    5. Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Esteves-Verissimo
      Pages 619-650 Open Access
  8. Program Analysis and Automated Verification

    1. Front Matter
      Pages 651-651
    2. Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
      Pages 653-682 Open Access
    3. Caterina Urban, Peter Müller
      Pages 683-710 Open Access
    4. Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe
      Pages 711-738 Open Access
    5. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner
      Pages 739-767 Open Access
  9. Session Types and Concurrency

    1. Front Matter
      Pages 769-769
    2. Hannah Gommerstadt, Limin Jia, Frank Pfenning
      Pages 771-798 Open Access
    3. Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek
      Pages 799-826 Open Access
    4. Bernardo Toninho, Nobuko Yoshida
      Pages 827-855 Open Access
    5. Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
      Pages 856-882 Open Access
  10. Concurrency and Distribution

    1. Front Matter
      Pages 883-883
    2. Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
      Pages 885-911 Open Access
    3. Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey
      Pages 912-939 Open Access
    4. Azalea Raad, Ori Lahav, Viktor Vafeiadis
      Pages 940-967 Open Access
    5. Radha Jagadeesan, James Riely
      Pages 968-995 Open Access
  11. Compiler Verification

    1. Front Matter
      Pages 997-997
    2. Lars Hupel, Tobias Nipkow
      Pages 999-1026 Open Access
    3. Mike Dodds, Mark Batty, Alexey Gotsman
      Pages 1027-1055 Open Access
  12. Back Matter
    Pages 1057-1058

About these proceedings


This book is Open Access under a CC BY licence. 


artificial intelligence computer architecture computer software selection and evaluation distributed computer systems formal logic formal model java model checking processors program compilers program verification programming language semantics separation logic software engineering specifications theorem proving type systems verification open access

Editors and affiliations

  1. 1.Northeastern UniversityBostonUSA

Bibliographic information

  • DOI
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2018
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-89883-4
  • Online ISBN 978-3-319-89884-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site