contification paper

[Matthew Fluet]

> 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.