Disentangling the implementation of local-to-global transformations in a rewrite rule transformation system.

Thomas Cleenewerck, Theo D'Hondt

Browse the full SAC paper archive.