Termination analysis and specializationpoint insertion in offline partial evaluation (0)

by Arne J Glenstrup, Neil D Jones
Venue:ACM Trans. Program. Lang. Syst