Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog

Thom Fruehwirth

Runtime repeated recursion unfolding was recently introduced as a just-in-time program transformation strategy that can achieve super-linear speedup. So far, the method was restric…