Skip to search formSkip to main contentSkip to account menu

Graph reduction machine

A graph reduction machine is a special-purpose computer built to perform combinator calculations by graph reduction. Examples include the SKIM ("S-K… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations

Broader (2)

Applicative computing systemsFunctional programming
Combinatory logicComputerGraph reductionSECD machine

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
1999
Review
1999
Implementing Escher on a Graph Reduction Machine
Escher is a functional logic programming language which is based on a rewriting computational model with residuation. Similar to… 
1993
1993
A Chemical Abstract Machine for Graph Reduction
Graph reduction is an implementation technique for the lazy λ-calculus. It has been used to implement many non-strict functional… 
1992
1992
Resource Management on a Packet-Based Parallel Graph Reduction Machine
This paper is concerned with resource management on Flagship: a packet-based parallel graph reduction machine specifically… 
Highly Cited
1991
Highly Cited
1991
Parallel programming using functional languages
It has been argued for many years that functional programs are well suited to parallel evaluation. This thesis investigates this… 
Highly Cited
1990
Highly Cited
1990
Lazy Narrowing in a Graph Machine
The paper investigates the implementation of lazy narrowing in the framework of a graph reduction machine. By extending an… 
1989
1989
Microprogrammed implementation of a reduction machine
1988
1988
An approach to fault tolerance and error recovery in a parallel graph reduction machine: MaRS—a case study
This article deals with the issue of fault tolerance and error recovery in a parallel graph reduction computer such as the "MaRS… 
1987
1987
GRIP: A parallel graph reduction machine
GRIP - Graph Reduction In Parallel - is a Fifth Generation machine designed to execute functional languages in parallel, using… 
1986
1986
The four-stroke reduction engine
© 1986 ACM. Functional languages are widely claimed to be amenable to concurrent execution by multiple processors. This paper… 
1985
1985
An abstract parallel graph reduction machine
An implementation technique for functional languages that has rcceived recent attention is graph reduction, which offers… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)