程序变换(program transformation)
将一个面向问题、 结构清晰、易于理解的,但效率不太高的正确程序,通过对其进行由粗到细的变换,而得到一个不太直观但效率较高的正确程序的过程。
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。