"Backward Conditioning: A New Program Specialisation Technique and Its ..."

Chris Fox et al. (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics