"SAT stands for Stages And Tranformations and is the name of an approach to the high-level performance-directed development of parallel programs. The target programs obtained with this approach are sequences of internally parallel stages, i.e., they fall within the SPMD model. Formal program transformations are the device for deriving each parallel stage and optimizing the combination of several stages. The main advantage of the SAT approach is the comparatively high level of abstraction at which performance-relevant design decisions can be taken. One consequence is that choices become much clearer than at the code level, which enhances comparability, another that there is an increased potential for automation of the programming process. This paper assesses the usefulness of the approach, with emphasis on one basic parallel programming pattern, the list homomorphism, which captures the divide-and-conquer paradigm. We survey the transformational theory, provide a range of practical examples and discuss the potential for automation and the demands made on application programmers and implementers. .} "
Sergei Gorlatch