Graph Reduction 1986: Santa Fé, New Mexico, USA

@proceedings{DBLP:conf/gr/1986,
  editor    = {Joseph H. Fasel and
               Robert M. Keller},
  title     = {Graph Reduction, Proceedings of a Workshop, Santa F{\'e},
               New Mexico, USA, September 29 - October 1, 1986},
  booktitle = {Graph Reduction},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {279},
  year      = {1987},
  isbn      = {3-540-18420-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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
  

Last update Fri May 25 08:15:09 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page