An Algorithm for Processing Program Transformations

An algorithm for processing program transformations as described by the transform construct is presented. The algorithm constructs a coordinate transformation of an abstract program based on a set of transforms and transform directives applied to it.