A Simple Transformation from Prolog-written Metalevel Interpreters into Compilers and its Implementation.

Gustaf Neumann

Browse the full LPAR paper archive.