veranstaltet von der GI-Fachgruppe Programmiersprachen und Rechenkonzepte

Die Tagung dient dem Austausch von Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Alle Programmierparadigmen sind von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, verteilte und  nebenläufige Programmierung in Intra- und Internet-Anwendungen, sowie Konzepte zur Integration dieser Paradigmen. Nach den ersten beiden Arbeitstagungen Programmiersprachen im Rahmen der GI-Jahrestagungen in Aachen und Paderborn ist dies die dritte Veranstaltung dieser Art.

Programm [Druckversion PDF]
Organisation und Anmeldung

Programm

09:00	Begrüßung	Wolfgang Goerigk und Michael Hanus
	Eingeladener Vortrag	Arnd Poetzsch-Heffter (Kaiserslautern) From Structured Heaps to Encapsulated Runtime Components
10:00	Softwaretechnik	Martin Kempa, Volker Linnemann (Lübeck) Type Safe Programming of XML-based Applications
10:30		*** Kaffeepause ***
11:00	Softwaretechnik	Stefan Sarstedt, Alexander Raschke, Jens Kohlmeyer (Ulm) Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren
11:30	Testen	Christoph Lembeck, Roger Müller, Herbert Kuchen (Münster) Die Erzeugung von Testfällen mit einer symbolischen virtuellen Maschine und Constraint Solvern
12:00	Programmanalyse	Peter Thiemann (Freiburg) Static Analysis of the Frequency of Change
12:30		*** Mittagspause ***
14:00	Programmanalyse	Frank Huch (Kiel) Model Checking Erlang Programs - LTL-Propositions and Abstract Interpretation
14:30	Implementierung	Jan Olaf Blech and Sabine Glesner (Karlsruhe) A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
15:00	Sprachdesign	Christian Heinlein (Ulm) C+++: User-Defined Operator Symbols in C++
15:30		*** Kaffeepause ***
16:00	Tagungsende