Sciweavers

LPAR
2010
Springer
13 years 2 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
KBSE
1997
IEEE
13 years 8 months ago
Precise Specification and Automatic Application of Design Patterns
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
Amnon H. Eden, Amiram Yehudai, Joseph Gil