Imperative Program Specialisation: An Approach Using CLP.

Julio C. Peralta, John P. Gallagher

Browse the full LOPSTR paper archive.