程序变换（programtransformation），指的是将一个面向问题、 结构清晰、易于理解的，但效率不太高的正确程序，通过对其进行由粗到细的变换，而得到一个不太直观但效率较高的正确程序的过程。
程序变换（program transformation），指的是将一个面向问题、 结构清晰、易于理解的，但效率不太高的正确程序，通过对其进行由粗到细的变换，而得到一个不太直观但效率较高的正确程序的过程。
温馨提示：
