Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters

Michael Leuschel, Danny De Schreye. Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. Journal of Logic and Algebraic Programming, 36(2):149-193, 1998.

Abstract

Abstract is missing.