Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern in Hochschule, Wirtschaft und Industrie, die sich mit Themen aus dem Bereich der Programmiersprachen bescha¨ftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Interesse: imperative, objektorientierte, funktionale, logische, parallele und graphische Programmiersprachen ebenso wie verteilte und nebenla¨ufige Programmierung in Intra- und Internet-Anwendungen sowie Konzepte zur Integration dieser Paradigmen. Ebenfalls von Interesse sind Arbeiten zu Techniken, Methoden, Konzepten oder Werkzeugen, mit denen Sicherheit und Zuverla¨ssigkeit bei der Ausfu¨hrung von Programmen erho¨ht werden ko¨nnen. Typische, aber nicht ausschließliche Themenbereiche der Tagungsreihe sind: Entwurf von Programmiersprachen und anwendungsspezifischen Sprachen Analyse und Transformation von Programmen Copyright c 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.
Semantik und Spezifikationstechniken Erfahrungen bei exemplarischen Anwendungen
Verbindung von Sprachen, Architekturen, Prozessoren Neben neuen Arbeiten sind stets auch Beitra¨ge erwu¨nscht, die existierende Arbeiten oder Projekte zusammenfassen oder aus einem neuen Blickwinkel pra¨sentieren, und sie so insbesondere einem deutschsprachigen Publikum vorstellen.
Bei der Zusammenstellung des Programmkomitees liegt ein besonderer Schwerpunkt in der Einbindung deutschsprachiger Wissenschaftler, die beruflich außerhalb des deutschen Sprachraums ta¨tig sind. Dies dient zum einen der Vergro¨ßerung der wissenschaftlichen Basis und zum anderen der langfristigen Kontaktpflege und Kooperation zwischen deutschsprachigen Wissenschaftlern im In- und Ausland.
Programmkomitee
Michael Hanus Christian Heinlein Andreas Krall Welf Lo¨we Gerald Lu¨ttgen Thomas Noll Markus Mu¨ller-Olm Christian W. Probst Ina Schaefer Volker Stolz Peter Thiemann Janis Voigtla¨nder Guido Wachsmuth Baltasar Tranco´n Y Widemann