KiR

Preliminary Experience with a - red Implementation on an nCUBE/2~System

T. Bülck and A. Held and W.E. Kluge and S. Pantke and C. Rathsack and S.-B. Scholz and R. Schröder[R. Plasmeijer (ed)] (INPROCEEDINGS, 1993)

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)

Ein System zur graphischen Auswertung von im Reduktionssystem -card aufgenommenen Meßdaten

T. Bülck (MASTERSTHESIS, 1994)

- red---A Compiling Graph Reduction System for a Full Fledged -Calculus

D. Gärtner and A. Kimms and W.E. Kluge[H. Kuchen and R. Loogen (ed)] (INPROCEEDINGS, 1992)

- red---An Interactive Compiling Graph Reduction System for an Applied -Calculus

D. Gärtner and W.E. Kluge (ARTICLE, 1996)

Ein Scheduler für ein verteiltes Reduktionssystem

A. Held (MASTERSTHESIS, 1994)

Cooperating Reduction Machines

W.E. Kluge (ARTICLE, 1983)

A User's Guide for the Reduction System - red

W. Kluge[W. Kluge (ed)] (TECHREPORT, 1994)

On Pattern Matching with Wild Cards of Variable Arities

W. Kluge[C. Clack and T. Davie and K. Hammond (ed)] (INPROCEEDINGS, 1997)

Zur Übersetzung von Termen eines angewandten -Kalküls unter besonderer Berücksichtigung der Rückübersetzbarkeit ausgezeichneter Zwischenzustände der Codeausführung

C. Rathsack (PHDTHESIS, 1996)

LISA-a Lazy Interpreter for a Full Fledged - Calculus

C. Rathsack and S.-B. Scholz[H. Kuchen and R. Loogen (ed)] (INPROCEEDINGS, 1992)

Functions, Frames, and Interactions

C. Reinke[T. Johnsson (ed)] (INPROCEEDINGS, 1995)

Functions, Frames, and Interactions -- completing a -calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments

C. Reinke (PHDTHESIS, 1997)

On functional programming, language design, and persistence

C. Reinke[C. Clack and T. Davie and K. Hammond (ed)] (INPROCEEDINGS, 1997)

Structured Data Types in the Reduction System - red

C. Schmittgen and H. Blödorn and W.E. Kluge[ (ed)] (INPROCEEDINGS, 1991)

- red$^*$ - a Graph Reducer for Full-Fledged -Calculus

C. Schmittgen and H. Blödorn and W.E. Kluge (ARTICLE, 1992)

Spezifikation der Architektur und Realisierung eines Reduktionssystems mit konsequenter Unterstützung strukturierter Datenobjekte und n-stelliger definierter Funktionen

C. Schmittgen (PHDTHESIS, 1986)

A Datatype Architecture for Reduction Machines

C. Schmittgen[ (ed)] (INPROCEEDINGS, 1986)

A System Supported Workload Balancing Scheme for Cooperating Reduction Machines

C. Schmittgen and A. Gerdts and J. Haumann and W. Kluge and M. Woitass[ (ed)] (INPROCEEDINGS, 1986)

Die Reduktionssprache Orel/2

H. Schlütter and E. Pless (TECHREPORT, 1990)

Lisa -- Realisierung eines interaktiven Lazy-Evaluators mit Patternmatch

S.-B. Scholz (MASTERSTHESIS, 1992)

Integration von Verteilungen und von Messungen in ein codeausführendes Reduktionssystem

R. Schröder (MASTERSTHESIS, 1994)

Distributed Breadth-first Searches as Speculative Evaluations

R. Schröder[C. Clack and T. Davie and K. Hammond (ed)] (INPROCEEDINGS, 1997)

Speculative Evaluations as Concurrent Breadth-first Searches

R. Schröder[Herbert Kuchen (ed)] (INPROCEEDINGS, 1998)

Zur Implementierung von Ein-/Ausgabe-Operationen in KiR

S. Timm (MASTERSTHESIS, 1997)