メタコンパイル

メタコンパイルは、コンピューティングマシンMから、 Mの動作を制御、分析、模倣するメタマシンM'へのメタシステム遷移 (MST)を伴う計算です。部分評価やスーパーコンパイル (SCP)などのセマンティクスベースのプログラム変換は、メタ計算です。メタシステム遷移は、プログラム トランスフォーマー自体が変換される場合のように、繰り返されることがあります。このようにして、任意の高さの MST 階層を形成できます。Fox ^{[説明が必要]}の論文では、 1960 年代後半から 1970 年代前半にロシアでValentin TurchinのREFALシステムによって開始され、プログラム変換の独自の方法としてスーパーコンパイルの開発で知られるようになった研究の 1 つの流れについてレビューしています。この研究ラインの歴史を簡単に説明した後、論文では、スーパーコンパイルが繰り返されるメタシステム遷移と組み合わされた結果と問題に焦点を当てています。

• メタコンパイラ
• 部分的な評価

• メタコンパイルに関する論文
• メタコンピューティング: メタシステム遷移 + スーパーコンパイル スーパーコンパイル入門