contification paper: benchmarks

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 12 Mar 2001 11:25:36 -0500 (EST)


> Matthew, feel free to modify any section until you hear from me tomorrow.

I'm working on the formal transformation description.  Not bad at all;
I've got all the rules now, and I just need about an hour to write up some
textual description and justification.