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

  24. Workshop der GI-Fachgruppe
Programmiersprachen und Rechenkonzepte

2. - 4. Mai 2007 im Physikzentrum Bad Honnef

Programm

  Mittwoch, 2. Mai 2007

14.00 - 15.30 Uhr

• Begrüßung (Michael Hanus, CAU Kiel)
• Ulrich Hoffmann (Heidelberger Druckmaschinen AG)
  Stack-basierte High-Level Programmiersprachen
• Baltasar Trancón y Widemann (University of Limerick)
  Tabular Expressions and Total Functional Programming
• Peter Steffen (Universität Bielefeld)
  Locomotif - a Graphical Programming System for RNA Motif Search

15.30-16.00 Kaffeepause

16.00 - 18.00 Uhr

• Wolfgang Lux (Universität Münster)
  Lifting Curry's Monomorphism Restriction
• Bernd Braßel (CAU Kiel)
  Towards A New Denotational Semantics For Curry - A Pointless Presentation
• Jan Christiansen (CAU Kiel)
  The Algebra of Curry
• Hermann von Issendorff
  AktonAlgebra - Programmierung diskreter physikalischer Systeme

18.00 Uhr

• Mitgliederversammlung der Fachgruppe Programmiersprachen und Rechenkonzepte

18.30 Uhr Abendessen

9.00 - 10.30 Uhr

Markus Schordan (TU Wien)
Combining Tools and Languages for Static Analysis and Optimization of High-Level Abstractions
• Adrian Prantl (TU Wien)
  Source-to-Source Transformations for WCET: The COSTA Approach
• Ralf Lämmel (Microsoft)
  Googles MapReduce Programming Model - Revisited

10.30 - 11.00 Kaffeepause

11.00 - 12.30 Uhr

• Michael Hanus (CAU Kiel)
  Putting Declarative Programming into the Web: Translating Curry to JavaScript
• Phillip Heidegger (Universität Freiburg)
  typebasierte Analysen für JavaScript
• Martin Plümicke (Berufsakademie Stuttgart)
  Formalisierung des Typsystems von Java 5.0

12.30-14.00 Mittagspause

14.00 - 16.00 Uhr

• Stefan Wehr (Universität Freiburg)
  Design-by-Contract für funktionale Sprachen mit verzögerter Auswertung
• Frank Huch (CAU Kiel)
  Prompt, Lazy Assertions for Haskell - A Monadic Approach
• Sebastian Fischer (CAU Kiel)
  Systematisches Testen Logisch-Funktionaler Programme
• Christian Hermanns (Universität Münster)
  Deklaratives Debuggen von Java-Programmen

16.00 Uhr Gemeinsame Wanderung

18.30 Uhr Conference Dinner

9.00 - 10.30 Uhr

• Rudolf Berghammer (CAU Kiel)
  Wiederverwendung am Beispiel des algebraischen Wegeproblems - SML und Haskell im Vergleich
• Marc Fontaine, Michael Leuschel (Heinrich-Heine-Universität Düsseldorf)
  Parsing and Validation of full CSP-M Specifications using Haskell and Prolog
• Carl Friedrich Bolz (Heinrich-Heine-Universität Düsseldorf)
  A flexible Prolog Interpreter in Python

10.30 - 11.00 Kaffeepause

11.00 - 12.30 Uhr

• Carsten Kern (RWTH Aachen)
  Synthesizing Design Models from Scenarios by Learning
• Dirk Richter (Martin-Luther-Universität Halle-Wittenberg)
  Slicing zur Modellreduktion von symbolischen Kellersystemen
• Stefan Rieger (RWTH Aachen)
  Verifying Concurrent List-Manipulating Programs by LTL Model Checking

12.30 Mittagessen und Ende des Workshops