A parallel machine for multiset transformation and its programming style
Future Generation Computer Systems
Vector models for data-parallel computing
Vector models for data-parallel computing
The gamma model and its discipline of programming
Science of Computer Programming
Programming by multiset transformation
Communications of the ACM
Implementation of Gamma on the Connection Machine
Research Directions in High-Level Parallel Programming Languages
| Hi-index | 0.00 |
Gamma is a kernel programming language with an elegant chemical reaction metaphor in which programs are described in terms of multiset rewriting. The Gamma formalism allows one to describe an algorithm without introducing artificial sequentiality and leads to the derivation of a parallel solution to a given problem naturally. However, the difficulty of incorporating control strategies makes Gamma not only hard for one to define any sophisticated approaches but also impossible to reach a decent level of efficiency in any direct implementation. Recently, a higher-order multiset programming paradigm, named higher-order Gamma, is introduced by Metayer to alleviate these problems. In this paper, we investigate the possibility of implementing higher-order Gamma on MasPar, a massively data parallel computer. The results show that a program written in higher-order Gamma can be transformed naturally towards an efficient implementation on a real parallel machine.