Program Logics for Homogeneous Meta-programming

Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Meta-programming has been used extensively since macros were introduced to Lisp, yet we have little idea how formally to reason about metaprograms. This paper provides the first program logics for homogeneous metaprogramming

• Type: Journal
• Year: 2010
• Where: LPAR
• Authors: Martin Berger, Laurence Tratt
• Keywords: Automated Reasoning, Homogeneous Meta-programming, LPAR 2010, Meta-programming, Meta-programming Language