Gesellschaft für Informatik e.V.
 
Universität Ulm Informatik 2004 - Informatik verbindet  
         
         

 
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