Skip to main content
  • Conference proceedings
  • Open Access
  • © 2021

Programming Languages and Systems

30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2021.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (24 papers)

  1. Temporal Refinements for Guarded Recursive Types

    • Guilhem Jaber, Colin Riba
    Pages 548-578Open Access
  2. Query Lifting

    • Wilmer Ricciotti, James Cheney
    Pages 579-606Open Access
  3. Sound and Complete Concolic Testing for Higher-order Functions

    • Shu-Hung You, Robert Bruce Findler, Christos Dimoulas
    Pages 635-663Open Access
  4. Strong-Separation Logic

    • Jens Pagel, Florian Zuleger
    Pages 664-692Open Access
  5. Back Matter

    Pages 693-693

Other Volumes

  1. Programming Languages and Systems

    30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

About this book

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.

The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.


Keywords

  • computer programming
  • concurrency theory
  • distributed computer systems
  • formal logic
  • lamdba calculi
  • linguistics
  • logic
  • object-oriented programming
  • parallel processing systems
  • probabilistic programming
  • process calculi
  • program compilers
  • semantics
  • software design
  • software engineering
  • software quality
  • theory
  • types
  • verification and validation

Editors and Affiliations

  • Imperial College, London, UK

    Nobuko Yoshida

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)