程序變換

程序變換（program transformation），指的是將一個面向問題、 結構清晰、易於理解的，但效率不太高的正確程序，通過對其進行由粗到細的變換，而得到一個不太直觀但效率較高的正確程序的過程。