Dr. Dietmar Kreye
Diplom-Informatiker


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

PhD Thesis

Interactive Functional Programs --- Models, Methods, and Implementation
Peter Achten (PhD Thesis, 1996)

Fast --- Eine Prozessor-Architektur mit einem neuartigen Stacksystem
Claus Aßmann (PhD Thesis, 1992)

Compiler Support for Sparse Matrix Computations
A. J. C. Bik (PhD Thesis, 1996)

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

Type Classes (Related)
Stephen Blott (PhD Thesis, 1991)

Optimizing Programs by Data and Control Transformations
M. Cerniak (PhD Thesis, 1997)

The Design and Implementation of a Region-Based Parallel Language (Abstract) (Related)
Bradford L. Chamberlain (PhD Thesis, 2001)

The Specification of Array-Based Algorithms and the Automated Derivation of Parallel Implementations Through Program Transformation
S. Fitzpatrick (PhD Thesis, 1994)

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

Cheap Deforestation for Non-Strict Functional Languages (Related)
A. Gill (PhD Thesis, 1996)

Functional Programming and Input/Output
A. D. Gordon (PhD Thesis, 1992)

Implicit Shared Memory Multiprocessor Support for the Functional Programming Language SAC --- Single Assignment C (Related)
Clemens Grelck (PhD Thesis, 2001)

Compiling Lazy Functional Languages
T. Johnsson (PhD Thesis, 1987)

Transformation-Based Implementation of Nested Data Parallelism for Distributed Memory Machines (Related)
Gabriele Keller (PhD Thesis, 1999)

A Compiler Backend for Generic Programming with Arrays (Related)
Dietmar Kreye (PhD Thesis, 2003)

The Parallel Implementation of N-Body Algorithms
Pangfeng Liu (PhD Thesis, 1994)

Accurate Analysis of Array References
D. E. Maydan (PhD Thesis, 1992)

A Mathematics of Arrays
Lenore M. Restifo Mullin (PhD Thesis, 1988)

Lazy Functional Components for Graphical User Interfaces
R. Noble (PhD Thesis, 1995)

The Implementation of Practical Functional Programming Languages
N. Perry (PhD Thesis, 1991)

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: Completing a λ-Calculus-Based Purely Functional Language with Respect to Programming-in-the-Large and Interactions with Runtime Environments
Claus Reinke (PhD Thesis, 1997)

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

Single Assignment C --- Entwurf und Implementierung einer funktionalen C-Variante mit spezieller Unterstützung shape-invarianter Array-Operationen (Related)
Sven-Bodo Scholz (PhD Thesis, 1996)

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

Communication Issues in Distributed Functional Computing (Related)
Pascal R. Serrarens (PhD Thesis, 2001)

Parallel Functional Programming by Partitioning
F. Taylor (PhD Thesis, 1997)

FAC: Functional Array Calculator and its Application to APL and Functional Programming
H.-C. Tu (PhD Thesis, 1986)

Indizierte Typen
Christoph Zenger (PhD Thesis, 1998)

Morphologische Kriterien in der MR-Mammographie
Ulrike Wedegärtner (PhD Thesis, 1999)

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