目標指向型プログラム変換

プログラムの開発は、しばしば単純で明確なプログラムを複雑で錯綜した、しかしより効率的なものに変換することによって進行します。本論文では、このプロセスをより体系的にする方法を検討します。プログラムの性能分析、関数の部分評価、および再帰的関数定義から繰り返しのサブゴールを抽象化する方法を組み合わせて、体系的に多くのグローバル変換を得る手法を示します。例は、コンパイラ最適化、リスト処理、非常に高級な言語、およびAPLの実行から引き出されています。