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

About these proceedings

Introduction

This book is Open Access under a CC BY licence. 

Keywords

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 https://doi.org/10.1007/978-3-319-89884-1
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-89883-4
  • Online ISBN 978-3-319-89884-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book