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.