Using a functional language and graph reduction to program multiprocessor machines or functional control of imperative programs
Parallel Processing Symposium, International (1992)
Beverly Hills, CA, USA
Mar. 23, 1992 to Mar. 26, 1992
George , AT&T Bell Labs., Murray Hill, NJ, USA
Describes an effective means for programming shared memory multiprocessors whereby a set of sequential activities are linked together for execution in parallel. The glue for this linkage is provided by a functional language implemented via graph reduction and demand evaluation. The full power of functional programming is used to obtain succinct, high level specifications of parallel computations. The imperative procedures that constitute the sequential activities facilitate efficient utilization of individual processing elements, while the mechanisms inherent in graph reduction synchronize and schedule these activities.
functional language, graph reduction, multiprocessor machines, functional control, imperative programs, shared memory multiprocessors, demand evaluation, functional programming, high level specifications, parallel computations
George and Lindstrom, "Using a functional language and graph reduction to program multiprocessor machines or functional control of imperative programs," Parallel Processing Symposium, International(IPPS), Beverly Hills, CA, USA, 1992, pp. 370-373.