The SCEAS System
Navigation Menu

Conferences in DBLP

Graph Reduction (gr)
1986 (conf/gr/1986)

  1. Hans-Georg Oberhauser
    On the correspondence of lambda style reduction and combinator style reduction. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:1-25 [Conf]
  2. Klaus J. Berkling
    Head order reduction: A graph reduction scheme for the operational lambda calculus. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:26-48 [Conf]
  3. Jon Fairbairn
    A simple abstract machine to execute supercombinators. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:49-52 [Conf]
  4. Joseph A. Goguen, Claude Kirchner, José Meseguer
    Concurrent term rewriting as a model of computation. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:53-93 [Conf]
  5. Benjamin Goldberg, Paul Hudak
    Alfalfa: Distributed graph reduction on a hypercube multiprocessor. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:94-113 [Conf]
  6. Randy Michelson, Lauren Smith, Elizabeth Williams, Bonnie Yantis
    Parallel Graph Reduction on a Supercomputer: A Status Report. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:114-118 [Conf]
  7. Thomas Johnsson
    Target code generation from G-machine code. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:119-159 [Conf]
  8. Michel Castan, Guy Durrieu, Bernard Lecussan, Michel Lemaître, Alessandro Contessa, Eric Cousin, Paulino Ng
    Toward the design of a parallel graph reduction machine: The MaRS project. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:160-180 [Conf]
  9. Peter G. Harrison, Mike Reeve
    The parallel graph reduction machine, Alice. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:181-202 [Conf]
  10. Robert M. Keller, Jon W. Slater, Kevin T. Likes
    Overview of Rediflow II Development. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:203-214 [Conf]
  11. Marko C. J. D. van Eekelen, Marinus J. Plasmeijer
    Specification of reduction strategies in term rewriting systems. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:215-239 [Conf]
  12. F. Warren Burton
    Controlling reduction partial order in functional parallel programs. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:240-251 [Conf]
  13. Ashoke Deb
    Parallel garbage collection for graph machines. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:252-264 [Conf]
  14. Ian Watson, Paul Watson
    Graph reduction in a parallel virtual memory environment. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:265-274 [Conf]
  15. Richard B. Kieburtz
    Performance measurement of a G-machine implementation. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:275-296 [Conf]
  16. Steven Tighe, Ken Zink, Richard S. Brice, William Alexander
    A flexible architectural study methodology. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:297-311 [Conf]
  17. Paul Hudak
    Arrays, non-determinism, side-effects, and parallelism: A functional perspective. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:312-327 [Conf]
  18. Philip Wadler
    A new array operation. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:328-335 [Conf]
  19. Arvind, Rishiyur S. Nikhil, Keshav Pingali
    I-structures: Data structures for parallel computing. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:336-369 [Conf]
  20. Bharat Jayaraman, Gopal Gupta
    Parallel execution of an equational language. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:370-381 [Conf]
  21. Gary Lindstrom
    Implementing logical variables on a graph reduction architecture. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:382-400 [Conf]
  22. Uday S. Reddy
    Functional logic languages, Part I. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:401-425 [Conf]
  23. John Staples, Peter J. Robinson
    Unification of quantified terms. [Citation Graph (0, 0)][DBLP]
    Graph Reduction, 1986, pp:426-450 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002