Dr. Dietmar Kreye
Diplom-Informatiker


	Research
	Teaching
	Publications
	Bookshelf
		*Topics*
		Document Types
	Internal Section
	Lost and Found
	Contact

KiR

Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem
Harald Blödorn (PhD Thesis, 1992)

Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem
Harald Blödorn (Technical Report, 1992)

Preliminary Experience with a π-RED+ Implementation on an nCUBE/2-System
T. Bülck; Achim Held; Werner E. Kluge; S. Pantke; Carsten Rathsack; Sven-Bodo Scholz; Raimund Schröder [Rinus Plasmeijer (Ed.)] (In Proceedings, 1993)

Ein System zur graphischen Auswertung von im Reduktionssystem π-card aufgenommenen Meßdaten
T. Bülck (Diploma Thesis, 1994)

π-RED*: Ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten Lambda-Kalküls
Dietmar Gärtner (PhD Thesis, 1991)

π-RED*: Ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten Lambda-Kalküls
Dietmar Gärtner (Technical Report, 1991)

π-RED+: An Interactive Compiling Graph Reduction System for an Applied λ-Calculus
Dietmar Gärtner; Werner E. Kluge (Article, 1996)

π-RED+: A Compiling Graph Reduction System for a Full Fledged λ-Calculus
Dietmar Gärtner; A. Kimms; Werner E. Kluge [Herbert Kuchen; Rita Loogen (Eds.)] (In Proceedings, 1992)

Ein Scheduler für ein verteiltes Reduktionssystem
Achim Held (Diploma Thesis, 1994)

Cooperating Reduction Machines
Werner E. Kluge (Article, 1983)

A User's Guide for the Reduction System π-RED
Werner E. Kluge (Technical Report, 1994)

Using π-RED as a Teaching Tool for Functional Programming and Program Execution
Werner E. Kluge; Carsten Rathsack; Sven-Bodo Scholz [P. H. Hartel; M. J. Plasmeijer (Eds.)] (In Collection, 1996)

A Lazy Variant of the Reduction System π-RED
Werner E. Kluge [Werner E. Kluge (Ed.)] (In Proceedings, 1996)

On Pattern Matching with Wild Cards of Variable Arities
Werner E. Kluge [Chris Clack; Tony Davie; Kevin Hammond (Eds.)] (In Proceedings, 1997)

Lisa: A Lazy Interpreter for a Full Fledged λ-Calculus
Carsten Rathsack; Sven-Bodo Scholz [Herbert Kuchen; Rita Loogen (Eds.)] (In Proceedings, 1992)

Zur Übersetzung von Termen eines angewandten λ-Kalküls unter besonderer Berücksichtigung der Rückübersetzbarkeit ausgezeichneter Zwischenzustände der Codeausführung
Carsten Rathsack (PhD Thesis, 1996)

Functions, Frames, and Interactions
Claus Reinke [T. Johnsson (Ed.)] (In Proceedings, 1995)

Functions, Frames, and Interactions: Completing a λ-Calculus-Based Purely Functional Language with Respect to Programming-in-the-Large and Interactions with Runtime Environments
Claus Reinke (PhD Thesis, 1997)

On Functional Programming, Language Design, and Persistence
Claus Reinke [Chris Clack; Tony Davie; Kevin Hammond (Eds.)] (In Proceedings, 1997)

Die Reduktionssprache OREL/2
H. Schlütter; E. Pless (Technical Report, 1990)

Spezifikation der Architektur und Realisierung eines Reduktionssystems mit konsequenter Unterstützung strukturierter Datenobjekte und n-stelliger definierter Funktionen
Claudia Schmittgen (PhD Thesis, 1986)

A Datatype Architecture for Reduction Machines
Claudia Schmittgen (In Proceedings, 1986)

A System Supported Workload Balancing Scheme for Cooperating Reduction Machines
Claudia Schmittgen; A. Gerdts; J. Haumann; Werner E. Kluge; M. Woitass (In Proceedings, 1986)

Structured Data Types in the Reduction System π-RED
Claudia Schmittgen; Harald Blödorn; Werner E. Kluge (In Proceedings, 1991)

π-RED*: A Graph Reducer for Full-Fledged λ-Calculus
Claudia Schmittgen; Harald Blödorn; Werner E. Kluge (Article, 1992)

Lisa: Realisierung eines interaktiven Lazy-Evaluator mit Patternmatch
Sven-Bodo Scholz (Diploma Thesis, 1992)

Integration von Verteilungen und von Messungen in ein codeausführendes Reduktionssystem
Raimund Schröder (Diploma Thesis, 1994)

Distributed Breadth-First Searches as Speculative Evaluations
Raimund Schröder [Chris Clack; Tony Davie; Kevin Hammond (Eds.)] (In Proceedings, 1997)

Experiments on Speculative Evaluation in a Functional Programming Language
Raimund Schröder (PhD Thesis, 2000)

Zur Implementierung von Ein-/Ausgabe-Operationen in KiR
S. Timm (Diploma Thesis, 1997)

Responsible for the content of this site: Dietmar Kreye (My public PGP keys)
Last modified: Nov 10, 2004