contification paper: benchmarks

Matthew Fluet fluet@CS.Cornell.EDU
Sun, 11 Mar 2001 23:01:30 -0500 (EST)


> > O.k.  I'm going to finish up a first draft of the benchmarks section
> > tonight.  I'll try to make an editting pass over sections 1 - 4 during the
> > east coast A.M. tomorrow.
> 
> Here are the changes for the experiments section.  

Also meant to ask Steve to add the Tofte references for ML-Kit to bib.bib.