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...

Celý popis

Uloženo v:
Podrobná bibliografie
Médium: E-kniha
Jazyk:angličtina
Vydáno: Cham Springer Nature 2020
Edice:Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Témata:
Algorithms & data structures
Algorithms and data structures
Artificial intelligence
Compilers
Compilers & interpreters
Computer networking & communications
Computer networking and communications
computer networks
computer programming
Computer programming / software engineering
Computer science
computer security
Computer Systems Organization and Communication Networks
Computing and Information Technology
Control Structures and Microprogramming
distributed computer systems
embedded systems
formal languages
formal logic
Information Systems and Communication Service
Interpreters
linguistics
Mathematical theory of computation
mathematics
model checking
Natural language & machine translation
Natural language and machine translation
Natural Language Processing (NLP)
object-oriented programming
parallel processing systems
program compilers
Programming & scripting languages: general
Programming and scripting languages: general
Programming Languages
semantics
software architecture
software design
software engineering
software quality
Theory of Computation
verification and validation
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
DOI:10.1007/978-3-030-44914-8