Programming Languages and Systems

Saved in:
Bibliographic Details
Title: Programming Languages and Systems
Contributors: Müller, Peter
Publisher Information: Springer Nature
Springer
Publication Year: 2021
Collection: Directory of Open Access Books (DOAB)
Subject Terms: 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, Programming & scripting languages: general, Compilers & interpreters
Description: 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.
Document Type: other/unknown material
File Description: image/jpeg
Language: English
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200513_9783030449148_21; OCN: 1152157730; http://library.oapen.org/handle/20.500.12657/37721; https://library.oapen.org/bitstream/20.500.12657/37721/1/2020_Book_ProgrammingLanguagesAndSystems.pdf
Availability: http://library.oapen.org/handle/20.500.12657/37721
https://hdl.handle.net/20.500.12657/37721
https://directory.doabooks.org/handle/20.500.12854/28495
https://hdl.handle.net/20.500.12854/28495
https://library.oapen.org/bitstream/20.500.12657/37721/1/2020_Book_ProgrammingLanguagesAndSystems.pdf
Rights: open access
Accession Number: edsbas.85F35A93
Database: BASE
Description
Abstract: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.