Programming Languages and Systems

Programming Languages and Systems
28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Urheber: Caires, Luís
ISBN-13 978-3-030-17183-4
Verlag: Springer International Publishing
Erscheinungstermin 06.04.2019
Anzahl Seiten XV / 816

Dieses Open-Access-Buch stellt den Tagungsband des 28. Europäischen Symposiums für Programmierung, ESOP 2019, dar, das im April 2019 in Prag, Tschechische Republik, im Rahmen der Europäischen Gemeinsamen Konferenzen über Theorie und Praxis der Software, ETAPS 2019.

Inhalt:
Programmier- und Skriptsprachen, allgemein
Informationstechnik (IT), allgemeine Themen
Computerprogrammierung und Softwareentwicklung
Compiler und Übersetzer
Software Engineering
IT-Zertifizierung
Informatik
Theoretische Informatik
Systemanalyse und -design

Programmiersprachen, Berechnungstheorie, formale Logik, Informatik, Softwareevaluierung, Software-Engineering, Typensysteme, Betriebssemantik, Programm-Compiler, Verifikation stattfand.