Numerous application of semantics-preserving transformations to the code... Are there existing frameworks for doing this to code? Perhaps even ones that suppo

Numerous application of semantics-preserving transformations to the code... Are there existing frameworks for doing this to code? Perhaps even ones that support transformations within multiple languages?