Program transformation

Burstall（英语：Rod Burstall）和John Darlington（英语：John Darlington），在关于程序变换（英语：Program transformation）的工作中设计，并于1977年用POP-2实现。 Rod Burstall在关于结构归纳法的一篇重要的早期论文中，向ISWIM扩

如Java，像C/C++便沒有適合的反编译器可使用。 停机问题 Mike Van Emmerik. Why Decompilation. Program-transformation.org. 2005-04-29 [2010-09-15]. （原始内容存档于2010-09-22） （美国英语）. 

Metamodel（英语：Knowledge Discovery Metamodel） (KDM) 1.0 specification, 2007 The Program Transformation Wiki （页面存档备份，存于互联网档案馆） The Architecture-Driven Modelrnization website

利用程序变化构造正确的程序。它对程序应用一连串的保护正确性的变换规则，最终得到可执行的程序。程序变换（英语：Program transformation）是1970年代以来，“程序设计方法学”研究的重要方面，是程序设计自动化很有希望的途径之一。递归程序变换是这一时期的最有意义的成

Olsson, J.R. Inductive functional programming using incremental program transformation. Artificial Intelligence. 1995, 74 (1): 55–83. doi:10.1016/0004-3702(94)00042-y