… In logic metaprogramming, programs are not stored as plain textfiles but rather … for metaprogramming are obvious, its incompatibility with separate checking limits its … separate checking and propose a class of logics that reconcile logic metaprogramming …
OOPSLA 2010: 484-503 [doi]… A metaprogramming system is a programming facility (subprogramming system or language) whose basic data objects include the programs and program fragments … to the specification of the syntactic-manipulation component of a metaprogramming …
TOPLAS, 6(1):20-54, 1984. [doi]