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
M�ller, Peter
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 - Cham Springer Nature 2020 - 1 electronic resource (772 p.) - Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12075 .
Open Access
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.
Creative Commons
English
978-3-030-44914-8
10.1007/978-3-030-44914-8 doi
Algorithms & data structures
Computer networking & communications
Computer science
Natural language & machine translation
Programming & scripting languages: general
Algorithms & data structures artificial intelligence Compilers & interpreters Computer networking & communications computer networks computer programming Computer science computer security Computer Systems Organization and Communication Networks Control Structures and Microprogramming distributed computer systems embedded systems formal languages formal logic Information Systems and Communication Service linguistics Mathematical theory of computation mathematics model checking Natural language & machine translation Natural Language Processing (NLP) object-oriented programming parallel processing systems program compilers Programming & scripting languages: general Programming Languages, Compilers, Interpreters semantics software architecture software design software engineering software quality Theory of Computation verification and validation
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 - Cham Springer Nature 2020 - 1 electronic resource (772 p.) - Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12075 .
Open Access
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.
Creative Commons
English
978-3-030-44914-8
10.1007/978-3-030-44914-8 doi
Algorithms & data structures
Computer networking & communications
Computer science
Natural language & machine translation
Programming & scripting languages: general
Algorithms & data structures artificial intelligence Compilers & interpreters Computer networking & communications computer networks computer programming Computer science computer security Computer Systems Organization and Communication Networks Control Structures and Microprogramming distributed computer systems embedded systems formal languages formal logic Information Systems and Communication Service linguistics Mathematical theory of computation mathematics model checking Natural language & machine translation Natural Language Processing (NLP) object-oriented programming parallel processing systems program compilers Programming & scripting languages: general Programming Languages, Compilers, Interpreters semantics software architecture software design software engineering software quality Theory of Computation verification and validation