Skip to main content

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

  • Conference proceedings
  • Open Access
  • © 2019

You have full access to this open access Conference proceedings

Overview

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

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

Included in the following conference series:

Conference proceedings info: ESOP 2019.

Buy print copy

Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Table of contents (28 papers)

  1. Program Verification

  2. Language Design

  3. Program Semantics

  4. Types

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.

Editors and Affiliations

  • Universidade NOVA de Lisboa, Caparica, Portugal

    Luís Caires

Bibliographic Information

Publish with us