Explore
Programming Languages and Systems
0 Ungluers have
Faved this Work
Login to Fave
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.
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 185 times via unglue.it ebook links.
- 185 - pdf (CC BY) at OAPEN Library.
Keywords
- artificial intelligence
- Compilers & interpreters
- Compilers and Interpreters
- Computer architecture & logic design
- Computer Engineering and Networks
- Computer networking & communications
- Computer programming
- Computer programming / software development
- Computer programming / software engineering
- Computer science
- Computer Science Logic and Foundations of Programming
- Computer Systems Organization and Communication Networks
- Computing & information technology
- concurrency theory
- distributed computer systems
- formal logic
- 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 Languages, Compilers, Interpreters
- Semantics
- Software design
- Software engineering
- software quality
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
- thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
- Theory
- types
- verification and validation
Links
DOI: 10.1007/978-3-030-72019-3Editions