Litong Song, Yoshihiko Futamura. A New Termination Approach for Specialization. In Walid Taha, editor, Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings. Volume 1924 of Lecture Notes in Computer Science, pages 72-91, Springer, 2000. [doi]
Abstract is missing.