(Enter summary)
Abstract: Distributed implementations of programming languages with implicit parallelism
hold out the prospect that the parallel programs are immediately scalable. This paper
presents some of the results of our part of Esprit 415, in which we considered
the implementation of lazy functional programming languages on distributed architectures.
A compiler and abstract machine were designed to achieve this goal. The abstract
parallel machine was formally specified, using Miranda
1
. Each instruction of... (Update)
Cited by: More
Thread Migration in a Parallel Graph Reducer - Andr Rauber Du
(Correct)
GRAPH for PVM: Graph Reduction for Distributed Hardware.. - Kevin Hammond Department (1994)
(Correct)
Load Balancing in a Parallel Graph Reducer - Loidl (2002)
(Correct)
Active bibliography (related documents): More All
2.4: Implementing the Evaluation Transformer Model of Reduction on.. - Burn (1991)
(Correct)
0.5: Using Projection Analysis in Compiling Lazy Functional Programs - Burn (1990)
(Correct)
0.5: A Parallel Functional Language Compiler for Message-Passing.. - Junaidu (1998)
(Correct)
Similar documents based on text: More All
0.1: An Example-Based Approach for Prosody Generation in Chinese.. - Dong, Lua (2000)
(Correct)
0.0: Cyclic Stress Tests for Full Scan Circuits - Vinay Dabholkar (1995)
(Correct)
0.0: Stress Tests for Dynamic Burn-in of Full Scan Circuits - Vinay Dabholkar (1995)
(Correct)
Related documents from co-citation: More All
10: Multiprocessor Execution of Functional Programs (context) - Goldberg - 1988
9: GUM: A Portable Parallel Implementation of Haskell
- Trinder, Hammond et al. - 1996
7: Concurrent clean
- Nocker, Smetsers et al. - 1991
BibTeX entry: (Update)
H. Kingdon, D. R. Lester, and G. L. Burn. The HDG-machine: a highly distributed graphreducer for a transputer network. The computer journal, 34(4):290--301, Aug 1991. http://citeseer.ist.psu.edu/kingdon91hdgmachine.html More
@article{ kingdon91hdgmachine,
author = "H. Kingdon and D. R. Lester and G. L. Burn",
title = "The {HDG}-Machine: a Highly Distributed Graph-Reducer for a {Transputer} Network",
journal = "The Computer Journal",
volume = "34",
number = "4",
pages = "290--301",
year = "1991",
url = "citeseer.ist.psu.edu/kingdon91hdgmachine.html" }
Citations (may not include all citations):
266
Adaptive load sharing in homogeneous distributed systems (context) - Eager, Lazowska - 1986
94
Projections for strictness analysis
- Wadler, Hughes - 1987
85
Garbage collection can be faster than stack allocation
- Appel - 1987
81
Distributed garbage collection using reference counting (context) - Bevan - 1987
69
Compiling Lazy Functional Languages (context) - Johnsson - 1987
55
An efficient garbage collection scheme for parallel computer..
- Watson, Watson - 1987
43
lazy abstract machine to execute supercombinators (context) - Fairbairn, Wray et al. - 1987
39
The Spineless Tagless G-Machine (context) - Jones, Salkild - 1989
36
Compiling Lazy Functional Languages (context) - Augustsson - 1987
36
Lazy Functional Languages: Abstract Interpretation and Compi.. (context) - Burn - 1991
36
Executing functional programs on a virtual tree of processor.. (context) - Burton, Sleep - 1982
28
Sequential Implementation of Lenient Programming Languages (context) - Traub - 1989
27
Evaluation transformers -- A model for the parallel evaluati.. (context) - Burn - 1987
23
Abstract Interpretation and the Parallel Evaluation of Funct.. (context) - Burn - 1987
20
Or-parallel execution models of Prolog (context) - Warren - 1987
19
Code optimizations for lazy evaluation (context) - Bloss, Hudak et al. - 1988
15
Using projection analysis in compiling lazy functional progr..
- Burn - 1990
13
Combinator Graph Reduction: A Congruence and its Application.. (context) - Lester - 1988
10
An efficient distributed garbage collection algorithm (context) - Lester - 1989
8
Performance Analysis of Storage Management in Combinator Gra.. (context) - Hartel - 1988
8
A shared memory parallel G-machine based on the evaluation t.. (context) - Burn - 1988
7
Code generation techniques for functional languages (context) - Fairbairn, Wray - 1986
7
Stacklessness: Compiling recursion for a distributed archite.. (context) - Lester - 1989
4
An optimising compiler for a modern functional language (context) - Bloss, Hudak et al. - 1989
4
An executable specification of the HDG-Machine (context) - Lester, Burn - 1989
2
Developing a distributed memory architecture for parallel gr.. (context) - Burn - 1988
2
Gi-machine: An abstract machine for parallel graph reduction (context) - Augustsson, Johnsson - 1989
2
An abstract machine for graph reduction (context) - Johnsson - 1983
2
Overview of a parallel reduction machine project II (context) - Burn - 1989
1
Implementation of a parallel logic + functional language (context) - Balboni, Bosco et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sunsite.doc.ic.ac.uk/ic.doc/theory/guests/Burn/): More
Implementing the Evaluation Transformer Model of Reduction on.. - Burn (1991)
(Correct)
The Evaluation Transformer Model of Reduction and Its Correctness - Burn (1991)
(Correct)
A Logical Framework for Program Analysis - Burn (1992)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC