Ein Fachband aus dem 24. ESOP 2015, der aktuelle Entwicklungen in Programmiersprachen, Typensystemen und verteilten Systemen analysiert, neue theoretische Modelle vorstellt und praktische Anwendungen diskutiert.