Gesellschaft für Informatik e.V.
Fachgruppe 2.1.4
früher
FG 2.1.3 Implementierung
von Programmiersprachen
FG 2.1.4 Alternative
Konzepte für Sprachen und Rechner
 |
|
Programmiersprachen
und Rechenkonzepte
8. - 10. Mai 2000 im Physikzentrum Bad Honnef Programm |
|
| 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 |
|
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 |
|
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 |
|
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 |
|
Frank Steiner (Universität Kiel)
A Difference-List Transformation for Functional Logic Languages |
|
Olaf Chitil (RWTH Aachen)
Deforestation von funktionalen Programmen durch Typinferenz |
|
Walter Dosch (Med. Universität Lübeck)
Refining Infinite Stream Behaviours |
|
Rudolf Berghammer (Universität Kiel)
Ein generisches Programm für inklusionsminimale Teilmengen |
| Mittwoch, 10. Mai 2000 |
|
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 |
|
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 |
|