Offline specialisation in Prolog using a hand-written compiler generator

Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe. Offline specialisation in Prolog using a hand-written compiler generator. TPLP, 4(1-2):139-191, 2004.

Abstract

Abstract is missing.