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 - Müller, Peter (Springer, 2020)
Keywords: 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; Programming languages (Electronic computers); Computer organization; Microprogramming; Computers; Natural language processing (Computer science); Formale Methode; Programmanalyse; Programmverifikation; Typsystem; Programmiersprache; Nebenläufigkeit; Konferenzschrift -- 2020 -- Online