Gesellschaft für Informatik e.V.

Gesellschaft für Informatik e.V.
Fachgruppe 2.1.4

Programmiersprachen und Rechenkonzepte

 früher
 FG 2.1.3  Implementierung von Programmiersprachen
 FG 2.1.4  Alternative Konzepte für Sprachen und Rechner
 
FG 2.1.4 Home Page

 
17. Workshop der GI-Fachgruppe 2.1.4

Programmiersprachen und Rechenkonzepte
mit Schwerpunkt Softwarekomponenten

8. - 10. Mai 2000 im Physikzentrum Bad Honnef

Programm 

Anmeldeformular
   in Postscript
   in Ascii
Wichtige Termine
Proceedings

 
Proceedings
Montag, 8. Mai 2000

11.00 - 12.30 Uhr
 
Begrüßung (W. Goerigk)
Arnd Poetzsch-Heffter (FernUniversität Hagen)
Dynamic Components as Semantic Entities: Concept and Static Support
Peter H. Fröhlich (University of California at Irvine)
Component-Oriented Languages: Messages vs. Methods, Modules vs. Types

*** 12.30-14.00 Mittagspause ***

14.00 - 15.15 Uhr
 
Oliver Rüthing, Jens Knoop , Bernhard Steffen (Universität Dortmund)
Space-Sensitive Partial Redundancy Elimination
Nils Gruschka (Universität Kiel)
Programmierung mit Entwurfsmustern - Eine Fallstudie in einem industriellen Umfeld

*** 15.15-15.45 Kaffeepause ***

15.45 - 17.30 Uhr

 
Andreas Speck, Elke Pulvermüller (Universität Tübingen)
Component Frameworks für Software Generatoren
Asuman Sünbül (TU Berlin)
Architectural Design of Component Composition Using First Class Connectors
Matthias Anlauff (GMD First Berlin)
A Component Concept for Abstract State Machines
Dienstag, 9. Mai 2000
9.00 - 10.45 Uhr

 
Michael Hanus (Universität Kiel)
Web Server Programming in Curry
Herbert Kuchen (Universität Münster)
Implementierung eines objektorientierten Entwurfs in der funktional-logischen Sprache Curry
Wolfgang Lux (Universität Münster)
Adding Linear Constraints over Real Numbers to Curry

*** 10.45 - 11.15 Kaffeepause ***

11.15 - 12.25 Uhr

Frank Steiner (Universität Kiel)
A Difference-List Transformation for Functional Logic Languages
Olaf Chitil (RWTH Aachen)
Deforestation von funktionalen Programmen durch Typinferenz

*** 12.30-14.00 Mittagspause ***

14.00 - 15.10 Uhr
 
Walter Dosch (Med. Universität Lübeck)
Refining Infinite Stream Behaviours
Rudolf Berghammer (Universität Kiel)
Ein generisches Programm für inklusionsminimale Teilmengen

ab 15.10 Uhr Kaffeepause 
und eine gemeinsame Unternehmung

ab 19.00 Uhr
Mitgliederversammlung der Fachgruppe 2.1.4
Mittwoch, 10. Mai 2000
9.00 - 10.45 Uhr

 
Hermann von Issendorff (Hemmoor)
Gibt es eine Genom-Programmiersprache?
Oliver Rüthing, Markus Müller-Olm (Universität Dortmund)
On the Complexity of Constant Propagation
Markus Müller-Olm (Universität Dortmund)
The Complexity of Faint Code Elimination in Parallel Programs

*** 10.45 - 11.15 Kaffeepause ***

11.15 - 13.00 Uhr

 
Markus Mohnen (RWTH Aachen)
Interfaces with Skeletal Implementations in Java
Harold Boley (DFKI GmbH Kaiserslautern)
The Relational-Functional Markup Language RFML
Frank Huch (RWTH Aachen)
Model Checking für Erlang Programme - Abstraktion der kontextfreien Struktur

13.00 Mittagessen und Ende des Workshops

FG 2.1.4 Home Page
Wolfgang Goerigk ( wg@informatik.uni-kiel.de )