meaning and understanding
program transformations