http://www.cs.washington.edu/homes/matthai/misc/misc.html Matthai's Miscellany

Miscellaneous Links

CSE 501 paper: Loop Invariant Code Copying
matthai@cs.washington.edu