Ein Sammelband des 24. Europäischen Symposiums über Programmierung (ESOP 2015), der neueste Erkenntnisse zu Programmiersprachen, Typen und Systemtheorie zusammenfasst und innovative theoretische sowie praktische Ansätze beleuchtet.