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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	European Symposium on Programming, Yoshida, Nobuko, European Conferences on Theory and Practice of Software
Format:	E-Book Buch
Sprache:	Englisch
Veröffentlicht:	Cham Springer Nature 2021 Springer Springer International Publishing AG
Ausgabe:	1
Schriftenreihe:	Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!