skip to main content
introduction
Free Access

Introduction to the Special Issue on ESOP 2021

Published:15 July 2022Publication History

This Special Issue of TOPLAS collects full versions of seven selected papers presented at the 30th European Symposium on Programming. ESOP 2021 was one of the four conferences of ETAPS 2021, the 24th European Joint Conferences in Theory and Practice of Software, virtually held in Luxembourg City, Luxembourg, from March 27 to April 1 in 2021.

In the 2021 edition of ESOP, 24 full papers were accepted for presentations. Seven of those were selected for this Special Issue, based on the referee reports we received for their conference versions and recommendations by the PC members. Authors were asked to revise and complement the version presented at ESOP with other new material. The extended version of each paper has undergone the usual reviewing process of TOPLAS, in accordance with its high standards. I would like to thank the authors for their efforts for producing the extended versions contained in this Special Issue.

The selected papers witness the high quality of the scientific program of ESOP 2021. They address session types, the π-calculus, LLVM, complexity analysis of imperative programs, separation logic, and automatic differentiation.

Finally, I thank the expert reviewers for the submissions to this Special Issue. They provided high-quality and careful reviews on time. By the reviewers’ efforts, we are able to complete the review process of all submissions less than one year since the conference ESOP’21 was held.

February 2022

Nobuko YoshidaProgram Chair ESOP 2021Guest Editor

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM Transactions on Programming Languages and Systems
    ACM Transactions on Programming Languages and Systems  Volume 44, Issue 3
    September 2022
    302 pages
    ISSN:0164-0925
    EISSN:1558-4593
    DOI:10.1145/3544000
    Issue’s Table of Contents

    Copyright © 2022 Copyright held by the owner/author(s).

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 15 July 2022
    Published in toplas Volume 44, Issue 3

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • introduction
    • Refereed
  • Article Metrics

    • Downloads (Last 12 months)292
    • Downloads (Last 6 weeks)14

    Other Metrics

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format .

View HTML Format
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!