Fachgruppe 2.1.4. der GI

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 )