Witnessing Program Transformations.

Kedar S. Namjoshi, Lenore D. Zuck

Browse the full SAS paper archive.