108
click to vote
POPL
2004
ACM
15 years 1 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...