default search action
Graph Reduction 1986: Santa Fé, New Mexico, USA
- Joseph H. Fasel, Robert M. Keller:
Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986. Lecture Notes in Computer Science 279, Springer 1987, ISBN 3-540-18420-1
Models for Graph Reduction
- Hans-Georg Oberhauser:
On the correspondence of lambda style reduction and combinator style reduction. 1-25 - Klaus J. Berkling:
Head order reduction: A graph reduction scheme for the operational lambda calculus. 26-48 - Jon Fairbairn:
A simple abstract machine to execute supercombinators. 49-52 - Joseph A. Goguen, Claude Kirchner, José Meseguer:
Concurrent term rewriting as a model of computation. 53-93
Graph Reduction on Existing Architectures
- Benjamin Goldberg, Paul Hudak:
Alfalfa: Distributed graph reduction on a hypercube multiprocessor. 94-113 - Randy Michelson, Lauren Smith, Elizabeth Williams, Bonnie Yantis:
Parallel Graph Reduction on a Supercomputer: A Status Report. 114-118 - Thomas Johnsson:
Target code generation from G-machine code. 119-159
Graph Reduction Architectures
- 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. 160-180 - Peter G. Harrison, Mike Reeve:
The parallel graph reduction machine, Alice. 181-202 - Robert M. Keller, Jon W. Slater, Kevin T. Likes:
Overview of Rediflow II Development. 203-214
Resource Control Issues
- Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Specification of reduction strategies in term rewriting systems. 215-239 - F. Warren Burton:
Controlling reduction partial order in functional parallel programs. 240-251 - Ashoke Deb:
Parallel garbage collection for graph machines. 252-264 - Ian Watson, Paul Watson:
Graph reduction in a parallel virtual memory environment. 265-274
Performance Modelling and Simulation
- Richard B. Kieburtz:
Performance measurement of a G-machine implementation. 275-296 - Steven Tighe, Ken Zink, Richard S. Brice, William Alexander:
A flexible architectural study methodology. 297-311
Arrays
- Paul Hudak:
Arrays, non-determinism, side-effects, and parallelism: A functional perspective. 312-327 - Philip Wadler:
A new array operation. 328-335 - Arvind, Rishiyur S. Nikhil, Keshav Pingali:
I-structures: Data structures for parallel computing. 336-369
Relationship to Logic Programming
- Bharat Jayaraman, Gopal Gupta:
Parallel execution of an equational language. 370-381 - Gary Lindstrom:
Implementing logical variables on a graph reduction architecture. 382-400 - Uday S. Reddy:
Functional logic languages, Part I. 401-425 - John Staples, Peter J. Robinson:
Unification of quantified terms. 426-450
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.