On the semantics of meta-programming and the control of partial deduction in logic programming

Bern Martens. On the semantics of meta-programming and the control of partial deduction in logic programming. PhD thesis, Katholieke Universiteit Leuven, Belgium, 1994. [doi]

Abstract

Abstract is missing.