PI-RED

[-]PI--Red+: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten lambda--Kalküls
Gärtner, D. (phdthesis, 1991)

[-]Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem
Blödorn, H. (phdthesis, 1992)

[-]Ein Typ-Inferenz-System für eine ungetypte funktionale Programmiersprache
Ulrich Meyer (mastersthesis, 1995)

[-]TASM -- Ein Compiler-Backend für eine funktionale Programmiersprache
Stefan Faerber (mastersthesis, 1995)

[-]Integration von Verteilungen und von Messungen in ein codeausführendes Reduktionssystem
Schröder, R. (mastersthesis, 1994)

[-]Ein Scheduler für ein verteiltes Reduktionssystem
Held, A. (mastersthesis, 1994)

[-]Ein System zur graphischen Auswertung von im Reduktionssystem PI-card aufgenommenen Meßdaten
Bülk, T. (mastersthesis, 1994)

[-]Realisierung von Frontends für das Reduktionssystem PI--RED
Diedrichsen, U. (mastersthesis, 1994)

[-]Effektinferenzsystem zur Seiteneffektanalyse einer kombinierten funktionalen/imperativen Sprache und Realisierung eines zustandstransformierenden Reduktionssystems
Besma Abd Moullah (mastersthesis, 1994)

[-]Ein Compilerbackend für die Implementierung einer funktionalen Sprache auf Sun-SPARC
Frank Bannick (mastersthesis, 1993)

[-]Normalform-Berechnung und strukturelle Dekomposition von Hochsprachenausdrücken als Erweiterung eines code-ausführenden Reduktionssystems
Alf Kimms (mastersthesis, 1993)

[-]Generation Scavenging für eine Hardware--Reduktionsmaschine
Gussow, T. (mastersthesis, 1992)

[-]Ein i860--Backend f\"ur ein partiell kompilierendes Reduktionssytem
Kim, D. (masterthesis, 1992)

[-]Ein flexibles Meßsystem für eine Reduktionsmaschine
Naumann, R. (mastersthesis, 1992)

[-]Elemente einer kombinierten funktionalen/logischen Sprache (Ein Konzept für die Erweiterung einer Reduktionssprache)
Claus Reinke (mastersthesis, 1991)

[-]Experience with the Implementation of a Concurrent Graph Reduction System on an nCUBE/2~Platform
T. Bülck and A. Held and W.E. Kluge and S. Pantke and C. Rathsack and S.- B. Scholz and R. Schröder[B. Buchberger and J. Volkert (ed)] (INCOLLECTION, 1994)

[-]PI- red+---An Interactive Computing Graph Reduction System for an Applied lambda-Calculus
D. Gärtner and W.E. Kluge (ARTICLE, 1995)

[-]A User's Guide for the Reduction System PI- red
W. Kluge (TECHREPORT, 1994)

[-]Using PI- red as a Teaching Tool for Functional Programming and Program Execution
W. E. Kluge and C. Rathsack and S.-B. Scholz[P. H. Hartel and M. J. Plasmeijer (ed)] (INCOLLECTION, 1995)