Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters.

Michael Leuschel, Danny De Schreye

Browse the full PEPM paper archive.