Imperative Program Specialisation: An Approach Using CLP.

Julio C. Peralta John P. Gallagher Imperative Program Specialisation: An Approach Using CLP. 102-117 1999 conf/lopstr/1999 LOPSTR db/conf/lopstr/lopstr99.html#PeraltaG99