A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.

Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas

Browse the full ESOP paper archive.