Tagungsband

Ein Tagungsband mit den Vortragsausarbeitungen wird als technischer Bericht in den Jenaer Schriften für Mathematik und Informatik herausgeben. Dieser Tagungsband wird zu Beginn des Kolloquiums unter den Teilnehmern verteilt. Eine formale Begutachtung der Beiträge hierfür findet nicht statt. Auf diese Weise ermöglicht es das Veranstaltungsformat den Vortragenden, neue Ideen zu präsentieren und sie mit den anderen Teilnehmern zu diskutieren, ohne einer späteren Veröffentlichung entgegenzustehen.

Dieser Tagungsband ist jetzt online verfügbar.

Direktzugriff auf einzelne Vortragsausarbeitungen:

• Geschichte der deutschsprachigen Informatik Programmiersprachen und Übersetzerbau
  von Gerhard Goos

• DeLICM -- Undoing SSA Transformations for Polly aktualisierte Fassung
  von Michael Kruse

• Security Through Safety
  von Benedikt Nordhoff

• Modelling Haskell Programs with Free Monads
  von Sandra Dylus und Jan Christiansen

• The Intended Meaning of Undefined Behaviour in C Programs
  von M. Anton Ertl

• Eigenschaften typischer Muster auf geordneten Attributgrammatiken
  von Christian Berg und Wolf Zimmermann

• Structural type inference in Java-like languages
  von Martin Plümicke

• Statische Analysen von Online-Befragungen mit der Programmiersprache liQuid
  von Thomas M. Prinz, Linda Gräfe, Jan Plötner und Anja Vetterlein

• Muli: Constraint-Programmierung in Java auf symbolischer JVM
  von Jan C. Dageförde und Herbert Kuchen

• Zur Berechnung der softwaretechnischen Komplexität von einfachen objektorientierten Programmen
  von Marc Roßner und Michael Fothe

• Flexibler Abbruch von Anweisungen in MOSTflexiPL
  von Christian Heinlein

• An Online Scripting Language for Teaching Combinatorial Scientific Computing
  von M. Ali Rostami und H. Martin Bücker

• Hypertree Decomposition for Constraint Programming in Parallel
  von Ke Liu, Sven Löffler und Petra Hofstedt

• Vectorizing Mathematical Expressions
  von Joachim Giesen, Julien Klaus und Sören Laue

• Hyperedge Replacement Grammars for Lock-sensitive Analysis of Parallel Programs
  von Sebastian Kenter

• Varianten der modularen Typableitung für Dart
  von Thomas Heinze, Anders Møller und Fabio Strocco

• Abstrakte Interpretation auf domänenspezifischen Sprachen für graphbasierte Optimierungsprobleme
  von Benjamin Saul und Wolf Zimmermann

• JavaTX
  von Andreas Stadelmeier und Martin Plümicke

• Transformations of CSPs to Regular CSPs
  von Sven Löffler, Ke Liu und Petra Hofstedt

• Robust Projectional Editing
  von Marcus Frenkel und Friedrich Steimann

• Unit Testing von Datenbank-getriebenen Java Enterprise Edition Anwendungen
  von Andreas Fuchs

• DSI: Automated Detection of Dynamic Data Structures in C Programs and Binary Code
  von Thomas Rupprecht, Jan H. Boockmann, David H. White und Gerald Lüttgen