はてなようせいとまなぶ Schemeの形式的意味論

なにをするのかというと、Schemeのプログラムを入力として受け取って、 それを評価した結果を返す抽象機械(abstract machine)の振る舞いを定めます。 もうすこしせいかくに より正確に言うと、プログラムの集合Pから表示可能な結果の集合Rのべき集合2Rへの関数Sを定義します。 抽象機械の1回の動作(単一ステップ簡約 : single-step reduction)で状態がXからYに遷移...続きはこちら