程序变换_将一个面向问题、结构清晰、易于理解的

程序变换

将一个面向问题、结构清晰、易于理解的

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

参考资料

最新修订时间：2023-07-31 18:16

条目作者

概述

参考资料