Hauptvortrag Jürgen Giesl.
Automated Termination Analysis: From Term Rewriting to Programming
Languages.
Impulsreferat mit anschließender Podiums- und Publikumsdiskussion Wolf Zimmermann.
Modell-basierte Programmgenerierung und Methoden des
Übersetzerbaus - Zwei Seiten derselben Medaille?
Till Berger und David Sabel. Parallelizing DPLL in Haskell.
Henning Heitkötter, Tim A. Majchrzak und Herbert Kuchen.
MD2-DSL - eine domänenspezifische Sprache zur
Beschreibung und Generierung mobiler Anwendungen.
Gergö Barany. Static and Dynamic Method Unboxing for Python.
Baltasar Trancón Y Widemann und Markus Lepper.
Paisley: A Pattern Matching Library for Arbitrary Object Models
Jan Oliver Ringert, Bernhard Rumpe und Andreas Wortmann.
From Software Architecture Structure and Behavior Modeling to
Implementations of Cyber-Physical Systems.
Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden
und Volker Stolz. How useful are existing monitoring languages
for securing Android Apps?
Reiner Jung, Christian Schneider und Wilhelm Hasselbring.
Type-Systems for Domain-specific Languages.
Dennis Klassen. ViCE-UPSLA: A Visual High Level Language for
Accurate Simulation of Interlocked Pipelined Processors.
Roland Lezuo, Gergö Barany und Andreas Krall. CASM: Implementing
an Abstract State Machine based Programming Language.
Jürgen Graf, Martin Hecker und Martin Mohr.
Using JOANA for Information Flow Control in Java
Programs - A Practical Guide.
