|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
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)
|
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 | |
15:30 | *** Kaffeepause *** | |
16:00 |
Tagungsende |