Julio C. Peralta, John P. Gallagher. Imperative Program Specialisation: An Approach Using CLP. In Annalisa Bossi, editor, Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR 99, Venezia, Italy, September 22-24, 1999, Selected Papers. Volume 1817 of Lecture Notes in Computer Science, pages 102-117, Springer, 1999.
Abstract is missing.