In this article, we demonstrate a translation methodology which transforms a high level algorithmic speciication written in the Alpha language to an imperative data parallel language. Alpha is a functional language which was designed to facilitate the kinds of static analyses needed for doing regular array synthesis. We show that the same methods which are used for solving regular array synthes...
