Calculation carrying programs: How to code program transformations (invited paper (2000)

by Masato Takeichi, Zhenjiang Hu
Venue:In International Sumposium on Principles of Software Evolution (ISPSE 2000