Guohua Jin;Zhiyuan Li;Fujie Chen
Rice Univ., Houston, TX;Purdue Univ., West Lafayette, IN;Changsha Instite of Technology, Hunan, People's Republic of China
Systematic design of program transformation frameworks by abstract interpretation
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages