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

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 Luxemb...

Full description

Saved in:
Bibliographic Details
Main Authors: European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software
Format: eBook Book
Language:English
Published: Cham Springer Nature 2021
Springer
Springer International Publishing AG
Edition:1
Series:Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Subjects:
Artificial intelligence
Compilers
Compilers & interpreters
Compilers and Interpreters
Computer architecture & logic design
Computer Engineering and Networks
Computer networking & communications
Computer networking and communications
computer programming
Computer programming > Congresses
Computer programming / software engineering
Computer programming, programs, data
Computer science
Computer Science Logic and Foundations of Programming
Computer Systems Organization and Communication Networks
Computing and Information Technology
concurrency theory
distributed computer systems
formal logic
Interpreters
lamdba calculi
linguistics
logic
Logics and Meanings of Programs
Natural language & machine translation
Natural Language Processing (NLP)
object-oriented programming
parallel processing systems
probabilistic programming
process calculi
program compilers
Programming & scripting languages: general
Programming and scripting languages: general
Programming Languages
Programming languages (Electronic computers) > Congresses
semantics
software design
Software Engineering
software quality
theory
types
verification and validation
ISBN:3030720195, 9783030720193, 3030720187, 9783030720186
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:Includes bibliographical references and index
ISBN:3030720195
9783030720193
3030720187
9783030720186
DOI:10.1007/978-3-030-72019-3