Compiling Control Revisited: A New Approach based upon Abstract Interpretation.

Dmitri Boulanger, Danny De Schreye

Browse the full ICLP paper archive.