contification paper

Matthew Fluet fluet@CS.Cornell.EDU
Fri, 16 Feb 2001 17:46:08 -0500 (EST)


> Yes, it is based on A*/parent.  The fact that the transformation accepts

Actually, I take this back.  It's the new transformation, but using the
ancestor analysis.  I was actually running benchmarks to compare the old
and new transformations (to see if the differences in the
transformation for the call analysis had any effect); since the old
transformation doesn't always work with the parent analysis, I had gone
back to the ancestor analysis.