Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was p...

Full description

Saved in:
Bibliographic Details
Other Authors: Müller, Peter (Editor)
Format: Book Chapter
Published: Cham Springer Nature 2020
Subjects:
Programming & scripting languages: general
Computer networking & communications
Algorithms & data structures
Natural language & machine translation
Computer science
Programming Languages, Compilers, Interpreters
Computer Systems Organization and Communication Networks
Control Structures and Microprogramming
Information Systems and Communication Service
Natural Language Processing (NLP)
Theory of Computation
artificial intelligence
computer networks
computer programming
computer security
distributed computer systems
embedded systems
formal languages
formal logic
linguistics
mathematics
model checking
object-oriented programming
parallel processing systems
program compilers
semantics
software architecture
software design
software engineering
software quality
verification and validation
Compilers & interpreters
Mathematical theory of computation
Online Access:Get Fullteks
DOAB: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
Physical Description:1 electronic resource (772 p.)
ISBN:978-3-030-44914-8
Access:Open Access

Similar Items