17. Workshop der GI-Fachgruppe 2.1.4

Programmiersprachen und Rechenkonzepte
mit Schwerpunkt Softwarekomponenten

8. - 10. Mai 2000 im Physikzentrum Bad Honnef

Proceedings
Wolfgang Goerigk, Hrsg.

INSTITUT FÜR INFORMATIK UND 
PRAKTISCHE MATHEMATIK

CHRISTIAN-ALBRECHTS-UNIVERSITÄT ZU KIEL
Bericht Nr. 2007

Der Tagungsband ist ebenfalls als Bericht Nr. 2007 des Instituts für Informatik und Praktische Mathematik der Christian-Albrechts-Universität zu Kiel im Juli 2000 erschienen. Der Bericht ist als persönliche Mitteilung aufzufassen.

Vorwort

Die GI-Fachgruppe 2.1.4 "Programmiersprachen und Rechenkonzepte" veranstaltete vom 8. bis 10. Mai 2000 im Physikzentrum Bad Honnef ihren jährlichen Workshop, in diesem Jahr mit einem Schwerpunkt zum Thema Softwarekomponenten und komponentenbasierte Softwareentwicklung. Dieser Bericht enthält eine Zusammenstellung der Beiträge.
        Das Treffen war das erste gemeinsame der neuen Fachgruppe 2.1.4, die aus den ehemaligen Fachgruppen 2.1.3 "Implementierung von Programmiersprachen" und 2.1.4 "Alternative Konzepte für Sprachen und Rechner"' hervorgegangen ist. Es diente gegenseitigem Kennenlernen, der Vertiefung gegenseitiger Kontakte, der Vorstellung neuer Arbeiten und Ergebnisse und vor allem der intensiven Diskussion.  Ein breites Spektrum von Beiträgen, von theoretischen Grundlagen über Sprachdesign bis hin zu industrie-praktischen Anwendungen bildete ein interessantes Programm mit einem deutlichen Schwerpunkt auf dem Gebiet der Komponenten. Unter anderem waren Grundlagen der Semantik, Komponentenkomposition, Objektorientierung, Entwurfsmuster, aber auch Web-Programmierung, Programmanalyse und Optimierung, funktional-logische Sprachen und formale Programmentwickklung Thema. Interessante Beiträge zu diesen und weiteren Themen gaben Anlaß zu Erfahrungsaustausch und Fachgesprächen.
        Allen Teilnehmern möchte ich dafür danken, daß sie mit ihren Vorträgen und konstruktiven Diskussionsbeiträgen zum Gelingen des Workshops beigetragen haben. Dank für die Vielfalt und Qualität der Beiträge gebührt den Autoren. Ein Wort des Dankes gebührt ebenso den Mitarbeitern und der Leitung des Physikzentrums Bad Honnef für die gewohnte angenehme und anregende Atmosphäre und umfassende Betreuung. Der Technischen Fakultät der Christian-Albrechts-Universität zu Kiel möchte ich dafür danken, daß sie den Druck des Tagungsbandes ermöglicht hat.

Kiel, im Juli 2000

 Wolfgang Goerigk

 

Beiträge

  Arnd Poetzsch-Heffter (FernUniversität Hagen)
Dynamic Components as Semantic Entities: Concept and Static Support - Extended Abstract
  Peter H. Fröhlich (University of California at Irvine)
Component-Oriented Languages: Messages vs. Methods, Modules vs. Types (Extended Abstract)
 
  Oliver Rüthing, Jens Knoop , Bernhard Steffen (Universität Dortmund)
Code-Size Sensitive Partial Redundancy Elimination
  Christian Gruber, Nils Gruschka, Friedemann Simon (RWE-DEA Hamburg, Universität Kiel)
Programmierung mit Entwurfsmustern - Eine Fallstudie in einem industriellen Umfeld

 
  Andreas Speck, Elke Pulvermüller (Universität Tübingen, Universität Karlsruhe)
Component Frameworks for Software Generators
  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
 
Michael Hanus (Universität Kiel)
Web Server Programming in Curry - Extended Abstract
Herbert Kuchen (Universität Münster)
Implementing an Object Oriented Design in Curry
Wolfgang Lux (Universität Münster)
Adding Linear Constraints over Real Numbers to Curry
 
  Elvira Albert, Cesar Ferri, Frank Steiner, German Vidal (DSIC Valencia, Universität Kiel)
A Difference-List Transformation for Functional Logic Languages
  Olaf Chitil (RWTH Aachen)
Deforestation of Functional Programs through Type Inference
 
   Walter Dosch (Med. Universität Lübeck)
Refining Infinite Stream Behaviours By Bound Functions
  Rudolf Berghammer (Universität Kiel)
Ein generisches Programm für inklusionsminimale Teilmengen mit einer graphentheoretischen Anwendung
 
Hermann von Issendorff (Hemmoor)
Gibt es eine Genom-Programmiersprache? - Abstract
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 Copy Constant Detection in Parallel Programs

 
  Markus Mohnen (RWTH Aachen)
Interfaces with Skeletal Implementations in Java
  Harold Boley (DFKI GmbH Kaiserslautern)
The Relational-Functional Markup Language RFML - Abstract
  Frank Huch (RWTH Aachen)
Model Checking Erlang Programs - An Abstraction of the Context-Free Structure
Wolfgang Goerigk ( wg@informatik.uni-kiel.de )