Dr. Dietmar Kreye 
Diplom-Informatiker


[-] Research
[-] Teaching
[-] Publications
[-] Bookshelf
 [=] Topics
 [-] Document Types
[-] Internal Section
[-] Lost and Found
[-] Contact





äöüß

Graph Reduction


[-] Term Graph Reduction
Hendrik Pieter Barendregt; Marco van Eekelen; John Glauert; ... [J. W. de Bakker; A. J. Nijman; Philip C. Treleaven (Eds.)] (In Collection, 1990)
[+] π-RED+: An Interactive Compiling Graph Reduction System for an Applied λ-CalculusDownload Link
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)
[-] Alfalfa: Distributed Graph Reduction on a Hypercube Multiprocessor
B. Goldberg; P. Hudak [J. H. Fasel; R. M. Keller (Eds.)] (In Collection, 1986)
[-] The Parallel Graph Reduction Machine Alice
P. G. Harrison; M. J. Reeve [J. H. Fasel; R. M. Keller (Eds.)] (In Collection, 1986)
[-] GRIP: A High Performance Architecture for Parallel Graph Reduction
Peyton Jones, Simon L.; Chris Clack; J. Salkid; M. Hardie [G. Kahn (Ed.)] (In Collection, 1987)
[-] π-RED*: A Graph Reducer for Full-Fledged λ-Calculus
Claudia Schmittgen; Harald Blödorn; Werner E. Kluge (Article, 1992)

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

Valid HTML 4.01!External Link    Valid CSS!External Link