Sciweavers

74
Voted
LPAR
2010
Springer
14 years 6 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. Me...
Martin Berger, Laurence Tratt