程式變換

程式變換(program transformation)

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