4. Arbeitstagung Programmiersprachen (ATPS'09)

Veranstaltet von der
GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"
im Rahmen der GI-Jahrestagung Informatik 2009

Tagungsprogramm

9:15 - 10:30: Session 1

• Walter Dosch, Michael Hanus. Begrüßung
• Dirk Kleeblatt. Deriving a Strong Normalizing STG Machine
• Ronald Veldema, Michael Philippsen. Tapir: Language Support to Reduce the State Space in Model-Checking

11:00 - 12:30: Session 2

• Petra Hofstedt, Florian Lorenzen. Constraint Functional Multicore Programming
• Sebastian Fischer. Reinventing Haskell Backtracking
• Fabian Reck, Sebastian Fischer. Towards a Parallel Search for Solutions of Non-deterministic Computations

14:00 - 15:30: Session 3

• Daniel Seidel, Janis Voigtländer. Taming Selective Strictness
• David Sabel, Manfred Schmidt-Schauß, Frederik Harwath. Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi
• Markus Degen, Peter Thiemann, Stefan Wehr. True Lies: Lazy Contracts for Lazy Languages

Last modified: Wed Sep 23 18:06:08 CEST 2009