## The Bird-Meertens Formalism as a Parallel Model (1993)

Venue: | Software for Parallel Computation, volume 106 of NATO ASI Series F |

Citations: | 41 - 0 self |

### BibTeX

@INPROCEEDINGS{Skillicorn93thebird-meertens,

author = {D. B. Skillicorn},

title = {The Bird-Meertens Formalism as a Parallel Model},

booktitle = {Software for Parallel Computation, volume 106 of NATO ASI Series F},

year = {1993},

pages = {120--133},

publisher = {Springer-Verlag}

}

### OpenURL

### Abstract

The expense of developing and maintaining software is the major obstacle to the routine use of parallel computation. Architecture independent programming offers a way of avoiding the problem, but the requirements for a model of parallel computation that will permit it are demanding. The BirdMeertens formalism is an approach to developing and executing data-parallel programs; it encourages software development by equational transformation; it can be implemented efficiently across a wide range of architecture families; and it can be equipped with a realistic cost calculus, so that trade-offs in software design can be explored before implementation. It makes an ideal model of parallel computation. Keywords: General purpose parallel computing, models of parallel computation, architecture independent programming, categorical data type, program transformation, code generation. 1 Properties of Models of Parallel Computation Parallel computation is still the domain of researchers and those ...