Proving the Correctness of Recursion-Based Automatic Program Transformations (1996)

Cached

Download Links

by David Sands
Venue:Theoretical Computer Science
Citations:31 - 4 self