程序转换方法是由一程序转换至与之等价的另一程序的方法。
从软件自动化的角度，分纵向转换和横向转换，前者涉及从功能规约到可执行程序的全过程。
可分为三个阶段：设计规约转换；从设计规约到高级语言程序的转换；从高级语言程序到机器语言的转换。从实现功能规约到设计规约转换是其核心和难点。可根据一组基本规则自动地将作用式递归程序转换为功效较高的命令式循环程序。
具有易实现、易修改和易扩充等特点，但由于程序转换规则的自动选取很困难，难以实现完全自动化。
温馨提示：
