A Complete Method for Program Specialization Based on Unfolding.

Shan-Hwei Nienhuys-Cheng, Ronald de Wolf

Browse the full ECAI paper archive.