Formal program transformation in a functional language can be used to support incremental design of parallel programs. This paper illustrates the method with a detailed example: a program transformation that improves the static load balance of a simple data parallel program.
['Joy Goodman', "John T. O'Donnell"]
Introduction of Static Load Balancing in Incremental Parallel Programming