Transformations that improve code performance, memory usage, or other properties without changing program behavior.