Systematic design of program transformation frameworks by abstract interpretation