12. Workshop der GI-Fachgruppe 2.1.4 "Alternative Konzepte für Sprachen und Rechner"
Beschreibung
Seit 1984 veranstaltet die GI-Fachgruppe 2.1.4 regelmäßig im Frühjahr einen Workshop im Physikzentrum Bad Honnef. Diese Workshops dienen dem Austausch von Informationen über laufende Aktivitäten und der intensiven Diskussion der Mitglieder untereinander.
Die Fachgruppe befaßt sich mit allen Themenstellungen im Bereich der Programmiersprachen und der Rechnerarchitekturen außerhalb der "klassischen" von-Neumann-Ansätze. Themenbereiche, die in den letzten Jahren mehrfach auf den Treffen diskutiert wurden, sind u.a. funktionale Sprachen, logische Sprachen, Spezifikationssprachen, Grundlagen der Objekt-Orientierung, hybride Programmiersprachen, Integration verschiedener Sprachparadigmen; Interpreter, Compiler, Programmierumgebungen in diesem Anwendungsbereich; Typsysteme, Programmtransformation, Wissenscompilierung, Constraint-Systeme, Termersetzungssysteme; Datenflußrechner, Baumrechner, parallele und verteilte Rechner u.v.a..
Zum jährlichen Treffen der Fachgruppe ist nicht nur jedes Fachgruppenmitglied herzlich eingeladen, sondern das Treffen ist darüber hinaus auch für andere Interessenten offen. Die Workshops finden stets in der angenehmen, zu gemeinsamer Arbeit verleitenden Athmosphäre des Physikzentrums Bad Honnef statt. Es können ca. 60 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht werden.
Anmeldungen zum diesjährigen Workshop senden Sie bitte bis zum 20. April 1995 per Post, Fax oder EMail an Prof. Dr. Jürgen Ebert . Ein Anmeldeformular für die Teilnahme an dem Workshop liegt als Postscript-Vordruck und in Form eines Ascii-Textes vor.
Programm
Dienstag, 2. Mai 1995
10.15 Begrüßung (J. Ebert)
10.30 Georg Botorog; Aachen
Strukturierte parallele Programmierung zur Lösung numerischer Probleme
11.00 Thomas Henties, Markus Radlhammer, Matthias Reich,
Claus-Peter Wiedemann; München
Automatische Parallelisierung auf Zwischencode-Ebene
11.30 J. Wolff von Gudenberg; Würzburg
Parallelisierung mittels einer Klassenbibliothek
12.00-14.00 Mittagspause
14.00 Thomas Schumm, Christopher Thomann; Koblenz
Funktionales Z
14.30 Melanie Everz; Dortmund
Mengentransformationen für die mengen-orientierte Prototypingsprache ProSet
15.00 Markus Mohnen; Aachen
Functional Specification of Imperative Programs: An Alternative Point of View of Functional Languages
15.30-16.00 Kaffeepause
15.30 Martin Beck; Jena
Ein Klassifikationsvorschlag für Datenflußarchitekturen
16.00 Dietmar Fey, B. Kasche, W. Erhard; Jena
Optoelektronische massiv parallele 3D-Rechner
16.30 Friedemann Simon; Kiel
Virtuelle Multicomputer: Rechnen in Netzen
18.30 Abendessen
Mittwoch, 3. Mai 1995
09.00 Wolfgang Goerigk; Kiel
Zur Korrektheit von Übersetzern und Übersetzerimplementierungen
09.30 Jörg Harm; Rostock
Das Sprachbeschreibungsmodell des Systems LDL
10.00 Jens Knoop, Bernhard Steffen, Jürgen Vollmer; Passau
Optimal Code Motion for Parallel Programs
10.30-11.00 Kaffeepause
11.00 Walter Dosch; Augsburg
Zur Vertauschbarkeit von Berechnungsrelationen in funktionalen Sprachen
11.30 Rudolf Berghammer; Kiel
Formale Entwicklung von CSP-Programmen aus temporalen Spezifikationen
12.00 Georg Schied; Stuttgart
DHOP - Programmierung mit Prozessen höherer Ordnung und mit linearen Typen
12.30-14.00 Mittagspause
14.00 Angelika Franzke; Koblenz
Eine graphische Anfragesprache für Graphen
14.30 Hermann von Issendorf; Wachtberg
Kausalität, Zeit und Logik
15.00 Michael Hanus; Aachen
On Extra Variables in (Equational) Logic Programming
15.30 Kaffee und eine gemeinsame Unternehmung
19.30 Mitgliederversammlung der Fachgruppe 2.1.4
Donnerstag, 4. Mai 1995
09.00 Wolfgang Golubski, Dietmar Lammers; Münster
Konzept und Optimierungen in einem verteilten Programmier-Modell
09.30 Ulrich Hoffmann; Kiel
Zur interaktiven Programmierung eingebetteter Systeme
10.00 Bernhard Steffen, Tiziana Margaria, Andreas Classen; Passau
An Environment for Flexible Tool Management
10.30-11.00 Kaffeepause
11.00 Th. Feuring, A. Tenhagen; Münster
Ansätze zur Bewertung der Trainingsqualität in fuzzifizierten Neuronalen Netzen
11.30 Herbert Kuchen, Josef Anastasiadis; Aachen
Lambda-Babel - eine funktional-logische Programmiersprache
12.00 Thomas Kühne; Darmstadt
Can object-orientation liberate programming from the von Neumann style
12.30-14.00 Mittagspause
14.00 Wolfgang Golubski; Münster
Vergleich verschiedener Ansätze zur Generierung von Typinformationen in objekt-orientierten Sprachen
14.30 Martin Plümicke; Tübingen
Semantik und Implementierung einer funktionalen Sprache mit Subtypen und Überladung
15.00 Franz-Josef Grosch; Braunschweig
Eine typisierte, rein funktionale Modulsprache für das Programmieren-im-Großen