Gesellschaft für Informatik e.V.

 früher
 FG 2.1.3  Implementierung von Programmiersprachen
 FG 2.1.4  Alternative Konzepte für Sprachen und Rechner
 

Einladung

  25. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

5. - 7. Mai 2008 im Physikzentrum Bad Honnef

Programm

  Montag, 5. Mai 2008

10.50 - 12.30 Uhr

• Begrüßung (Michael Hanus, CAU Kiel)
• Michael Poldner (Universität Münster)
  Skeletons for Divide and Conquer Algorithms
• Thorsten van Ellen (Universität Oldenburg)
  Sprachmittel zur Behandlung von Sondersituationen
• Christian Heinlein (Hochschule Aalen)
  Männliche und weibliche Doppelstudenten

12.30-14.00 Mittagspause

14.00 - 15.30 Uhr

• Phillip Heidegger (Universität Freiburg)
  Statisches Typen von JavaScript Programmen
• Markus Degen (Universität Freiburg)
  Typinferenz für Java(X)
• Martin Plümicke (Berufsakademie Stuttgart/Horb)
  Auflösung von Durchschnittstypen in Java

15.30-16.00 Kaffeepause

16.00 - 18.00 Uhr

• Steffen Mazanek (Universität der Bundeswehr München)
  Funktional-logische Graph-Parser mit Vervollständigung
• Wolfgang Lux (Universität Münster)
  Adding Haskell-stlye Overloading to Curry
• Jan Christiansen (Christian-Albrechts-Universität zu Kiel)
  Ach, wie gut, dass niemand weiß, dass ich dreizehnsiebtel heiß
• Bernd Braßel (Christian-Albrechts-Universität zu Kiel)
  A Debugger for Functional Logic Languages

18.00 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

18.30 Uhr Abendessen

9.00 - 10.30 Uhr

• Jens Knoop (TU Wien)
  WCET Annotation Languages Reconsidered: The Annotation Language Challenge
• Albrecht Kadlec (TU Wien)
  Essential Ingredients for a WCET Annotation Language
• Adrian Prantl (TU Wien)
  TuBound - A Tool for Worst-Case Execution Time Analysis

10.30 - 11.00 Kaffeepause

11.00 - 12.30 Uhr

• Dietmar Schreiner (TU Wien)
  Applying the Component Paradigm to AUTOSAR Basic Software
• Markus Schordan (TU Wien)
  Source-To-Source Analysis with SATIrE
• Hermann von Issendorff
  Fundamente der Programmierung

12.30-14.00 Mittagspause

14.00 - 15.30 Uhr

• Michael Leuschel (Universität Düsseldorf)
  Formal korrekte Übersetzung von Java Bytecode nach Maschinensprache
• Dirk Richter (Martin-Luther-Universität Halle-Wittenberg)
  Weitere Modellreduktionstechniken für symbolische Kellersysteme
• Elke Tetzner (Universität Rostock)
  Wortbasierte Symbolische Simulation Hybrider Systeme in CLP

16.00 Uhr Gemeinsame Wanderung

18.30 Uhr Conference Dinner

9.00 - 10.30 Uhr

• Sebastian Fischer (Christian-Albrechts-Universität zu Kiel)
  Datenfluss in bedarfsgesteuerten Berechnungen
• Herbert Kuchen (Universität Münster)
  Empirischer Vergleich von Tools für das Testen deklarativer Programme
• Karsten Klohs (Universität Paderborn)
  A Summary Function Model for the Validation of Interprocedural Analysis Results

10.30 - 11.00 Kaffeepause

11.00 - 12.30 Uhr

• Janis Voigtländer (TU Dresden)
  Parametricity for Haskell with Imprecise Error Semantics
• Ralf Lämmel (Universität Koblenz)
  Sliced bananas on opaque data -- The expression lemma
• Baltasar Trancón y Widemann (Universität Bayreuth)
  Stackless Stack Inspection -- Portabler Fluchtweg aus dem Teufelskreis

12.30 Mittagessen und Ende des Workshops