計算過程の部分評価—コンパイラ・コンパイラの一方法—

抄録

インタープリタを用いて形式的に記述されたプログラミング言語のセマンティクスと現実のコンパイラとの関係およびインタープリタからコンパイラを自動的に作成する方法について述べる．この方法は計算過程の部分評価の一種である．この方法を応用してできるコンパイラ・コンパイラと既存のコンパイラ・コンパイラの相違は，プログラミング言語のセマンティクスを記述するさいに，既存のものが翻訳過程を記述しなければならないのに対して，本方式によるものは評価手順を記述すればよいことである．