Cover Image
Read Now

Graph Reduction Proceedings of a Workshop Santa Fe, New Mexico, USA, September 29 - October 1, 1986

This volume describes recent research in graph reduction and related areas of functional and logic programming, as reported at a workshop in 1986. The papers are based on the presentations, and because the final versions were prepared after the workshop, they reflect some of the discussions as well....

Full description

Bibliographic Details
Other Authors: Fasel, Joseph H. (Editor), Keller, Robert M. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1987, 1987
Edition:1st ed. 1987
Series:Lecture Notes in Computer Science
Subjects:
Computer Systems
Programming Techniques
Computer Science
Computer System Implementation
Computer Programming
Formal Languages And Automata Theory
Machine Theory
Processor Architectures
Microprocessors
Theory Of Computation
Mathematics
Computer Architecture
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • On the correspondence of lambda style reduction and combinator style reduction
  • Head order reduction: A graph reduction scheme for the operational lambda calculus
  • A simple abstract machine to execute supercombinators
  • Concurrent term rewriting as a model of computation
  • Alfalfa: Distributed graph reduction on a hypercube multiprocessor
  • Parallel graph reduction on a supercomputer: A status report
  • Target code generation from G-machine code
  • Toward the design of a parallel graph reduction machine the MaRS project
  • The parallel graph reduction machine, ALICE
  • Overview of Rediflow II development
  • Specification of reduction strategies in term rewriting systems
  • Controlling reduction partial order in functional parallel programs
  • Parallel garbage collection for graph machines
  • Graph reduction in a parallel virtual memory environment
  • Performance measurement of a G-machine implementation
  • A flexible architectural study methodology
  • Arrays, non-determinism, side-effects, and parallelism: A functional perspective
  • A new array operation
  • I-Structures: Data structures for parallel computing
  • Parallel execution of an equational language
  • Implementing logical variables on a graph reduction architecture
  • Functional logic languages part I
  • Unification of quantified terms

Similar Items