Runtime Analysis and Program Transformations for Dynamic Programs John Blatz CS 325/425 April 26, 2006.