程序变换（program transformation）是一种优化程序的计算机科学技术，其核心是将面向问题、结构清晰且易于理解但效率较低的正确程序，通过由粗到细的变换过程，转化为效率较高但可能不够直观的正确程序。该过程强调在保持程序正确性的基础上逐步提升运行效能。