程序变换(program transformation)

将一个面向问题、 结构清晰、易于理解的，但效率不太高的正确程序，通过对其进行由粗到细的变换，而得到一个不太直观但效率较高的正确程序的过程。