Graph Reduction

Keyphrases

Publications

volume 279, 1987

Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986 Graph Reduction 279 (1987)

1986

Philip Wadler
A new array operation. Graph Reduction (1986)
Bharat Jayaraman, Gopal Gupta
Parallel execution of an equational language. Graph Reduction (1986)
Uday S. Reddy
Functional logic languages, Part I. Graph Reduction (1986)
Thomas Johnsson
Target code generation from G-machine code. Graph Reduction (1986)
Klaus J. Berkling
Head order reduction: A graph reduction scheme for the operational lambda calculus. Graph Reduction (1986)
Randy Michelson, Lauren Smith, Elizabeth Williams, Bonnie Yantis
Parallel Graph Reduction on a Supercomputer: A Status Report. Graph Reduction (1986)
John Staples, Peter J. Robinson
Unification of quantified terms. Graph Reduction (1986)
Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
Specification of reduction strategies in term rewriting systems. Graph Reduction (1986)
Richard B. Kieburtz
Performance measurement of a G-machine implementation. Graph Reduction (1986)
Ian Watson, Paul Watson
Graph reduction in a parallel virtual memory environment. Graph Reduction (1986)
Arvind, Rishiyur S. Nikhil, Keshav Pingali
I-structures: Data structures for parallel computing. Graph Reduction (1986)
Paul Hudak
Arrays, non-determinism, side-effects, and parallelism: A functional perspective. Graph Reduction (1986)
Peter G. Harrison, Mike Reeve
The parallel graph reduction machine, Alice. Graph Reduction (1986)
F. Warren Burton
Controlling reduction partial order in functional parallel programs. Graph Reduction (1986)
Jon Fairbairn
A simple abstract machine to execute supercombinators. Graph Reduction (1986)
Benjamin Goldberg, Paul Hudak
Alfalfa: Distributed graph reduction on a hypercube multiprocessor. Graph Reduction (1986)
Joseph A. Goguen, Claude Kirchner, José Meseguer
Concurrent term rewriting as a model of computation. Graph Reduction (1986)
Hans-Georg Oberhauser
On the correspondence of lambda style reduction and combinator style reduction. Graph Reduction (1986)
Steven Tighe, Ken Zink, Richard S. Brice, William Alexander
A flexible architectural study methodology. Graph Reduction (1986)
Michel Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Alessandro Contessa, Eric Cousin, Paulino Ng
Toward the design of a parallel graph reduction machine: The MaRS project. Graph Reduction (1986)
Gary Lindstrom
Implementing logical variables on a graph reduction architecture. Graph Reduction (1986)
Robert M. Keller, Jon W. Slater, Kevin T. Likes
Overview of Rediflow II Development. Graph Reduction (1986)
Ashoke Deb
Parallel garbage collection for graph machines. Graph Reduction (1986)