Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

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

Celý popis

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software
Médium:	E-kniha Kniha
Jazyk:	angličtina
Vydáno:	Cham Springer Nature 2021 Springer Springer International Publishing AG
Vydání:	1
Edice:	Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Témata:	Artificial intelligence Compilers Compilers & interpreters Compilers and Interpreters Computer architecture & logic design Computer Engineering and Networks Computer networking & communications Computer networking and communications computer programming Computer programming > Congresses Computer programming / software engineering Computer programming, programs, data Computer science Computer Science Logic and Foundations of Programming Computer Systems Organization and Communication Networks Computing and Information Technology concurrency theory distributed computer systems formal logic Interpreters 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 and scripting languages: general Programming Languages Programming languages (Electronic computers) > Congresses semantics software design Software Engineering software quality theory types verification and validation
ISBN:	3030720195, 9783030720193, 3030720187, 9783030720186
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!

Buďte první, kdo okomentuje tento záznam!