Sciweavers

Share
LPAR
2010
Springer

Program Logics for Homogeneous Meta-programming

8 years 3 months ago
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
Martin Berger, Laurence Tratt
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where LPAR
Authors Martin Berger, Laurence Tratt
Comments (0)
books