Aspects of the compilation of nested parallel imperative languages

We report on our experiences with the implementation of the imperative nested parallel language V. We give an overview of the compiler and a description of its building blocks and their interplay. We show how functional and imperative constructs such as control structures and pointers are handled by transformation rules. We justify additional restrictions that had to be placed on side effects and imperative constructs and were not initially thought to be necessary.