TY  - GEN
AU  - Müller,Peter
AU  - Müller,Peter
TI  - 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
SN  - 978-3-030-44914-8
PY  - 2020///
CY  - Cham
PB  - Springer Nature
KW  - Programming & scripting languages: general
KW  - bicssc
KW  - Computer networking & communications
KW  - Algorithms & data structures
KW  - Natural language & machine translation
KW  - Computer science
KW  - Programming Languages, Compilers, Interpreters
KW  - Computer Systems Organization and Communication Networks
KW  - Control Structures and Microprogramming
KW  - Information Systems and Communication Service
KW  - Natural Language Processing (NLP)
KW  - Theory of Computation
KW  - artificial intelligence
KW  - computer networks
KW  - computer programming
KW  - computer security
KW  - distributed computer systems
KW  - embedded systems
KW  - formal languages
KW  - formal logic
KW  - linguistics
KW  - mathematics
KW  - model checking
KW  - object-oriented programming
KW  - parallel processing systems
KW  - program compilers
KW  - semantics
KW  - software architecture
KW  - software design
KW  - software engineering
KW  - software quality
KW  - verification and validation
KW  - Compilers & interpreters
KW  - Mathematical theory of computation
N1  - Open Access
N2  - 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
UR  - https://library.oapen.org/bitstream/20.500.12657/37721/1/2020_Book_ProgrammingLanguagesAndSystems.pdf
UR  - https://directory.doabooks.org/handle/20.500.12854/28495
ER  -