Programming languages and systems 27th European Symposium on Programming, ESOP 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings - Ahmed, Amal (Springer Open, 2018)
Keywords: Computer science; Computer hardware; Computer organization; Programming languages (Electronic computers); Computers; Computer Science; Programming Languages, Compilers, Interpreters; Theory of Computation; Computer Systems Organization and Communication Networks; Computer Hardware; Computing Methodologies; Computing Milieux; Formale Methode; Programmanalyse; Programmverifikation; Nebenläufigkeit; Typsystem; Programmiersprache; Konferenzschrift