Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,464 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Broader (2)
Applicative computing systems
Functional programming
Combinatory logic
Computer
Graph reduction
SECD machine
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
An abstract machine for integrating heterogeneous web applications
M. Macedo
,
Daniel A. S. Carvalho
,
M. Musicante
,
Alberto Pardo
,
U. S. Costa
ACS/IEEE International Conference on Computer…
2015
Corpus ID: 5605971
The adoption of Cloud Computing technologies by the organizations has profound consequences on the way software applications are…
Expand
2013
2013
Static methods to check low-level code for a graph reduction machine
Marco Polo Perez Cervantes
2013
Corpus ID: 37891675
This thesis is about checking code for a graph-reduction machine computing by template instantiation. An equation-based static…
Expand
Review
1999
Review
1999
Implementing Escher on a Graph Reduction Machine
K. Eder
1999
Corpus ID: 17122425
Escher is a functional logic programming language which is based on a rewriting computational model with residuation. Similar to…
Expand
1991
1991
Divide-and-conquer and parallel graph reduction
F. Rabhi
,
G. Manson
Parallel Computing
1991
Corpus ID: 6064440
1991
1991
Experiments with a transputer-based parallel graph reduction machine
F. Rabhi
,
G. Manson
Concurrency Practice and Experience
1991
Corpus ID: 1713599
This paper is concerned with the implementation of functional languages on a parallel architecture, using graph reduction as a…
Expand
1990
1990
Graph Matching in Operational Semantics and Typing
Kristoffer Høgsbro Holm
Colloquium on Trees in Algebra and Programming
1990
Corpus ID: 45132164
Graph reduction has been used for some years as an implementation technique for functional programming languages [Wadsworth 71…
Expand
1989
1989
Microprogrammed implementation of a reduction machine
J. M. Filho
,
Edil S. T. Fernandes
Microprocessing and Microprogramming
1989
Corpus ID: 62241814
1986
1986
An implementation of differentiation as a built-in function for a lambda-calculus graph-reduction machine
T. Flaherty
1986
Corpus ID: 59711123
The automatic differentiation of numeric functions expressed in lambda-notation is studied. A set of graph-reduction rules which…
Expand
1986
1986
Toward the design of a parallel graph reduction machine: The MaRS project
M. Castan
,
G. Durrieu
,
+4 authors
Paulino Ng
Graph Reduction
1986
Corpus ID: 41129084
We have presented our stepwise approach to the design of an architecture for a multiprocessor reduction machine, starting from…
Expand
1985
1985
An abstract parallel graph reduction machine
K. R. Traub
International Symposium on Computer Architecture
1985
Corpus ID: 14155809
An implementation technique for functional languages that has rcceived recent attention is graph reduction, which offers…
Expand
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)
ACCEPT & CONTINUE