Program transformation is the systematic alteration of a computer program's structure or representation while preserving specified properties, typically its semantic behavior. As a research field and methodological approach within computer science, it investigates techniques, formalisms, and tools for the automated or semi-automated modification of software artifacts, focusing on applications such as code optimization, refactoring, language migration, and synthesis, thereby enhancing software quality, maintainability, and performance.