問題タブ [abstract-machine]

ウィキペディアの説明に基づいて、C＃でSECDマシンのシミュレーターを作成しています。基本的な操作は完了しましたが、命令の実装方法がわかりません。rap

ウィキペディアでは、次のように述べていrapます。

rapはapのように機能しますが、ダミー環境の発生を現在の環境に置き換えるだけで、再帰関数が可能になります。

そしてapそれは言う：

apは、スタックからクロージャとパラメータ値のリストをポップします。クロージャーは、その環境を現在の環境としてインストールし、その前にパラメーターリストをプッシュし、スタックをクリアし、Cをクロージャーの関数ポインターに設定することによってパラメーターに適用されます。S、Eの前の値、およびCの次の値がダンプに保存されます。

これが私の実装ですap

ListこれがLispスタイルの「cons」セルの実装であることに注意してください。

私を混乱させるのは、正確にどのようにrap違うのapですか？たとえば、環境レジスタ（E）は正確にどうなりますか？ウィキペディアの定義が少し曖昧で、それをうまく説明するものを他に見つけることができませんでした。

私は徹底的な検索を行いましたが、それでも無駄でした。

参照：

ウォーレン抽象機械(ウィキペディア)。

質問：

そのような実装（オープンソース）はありますか？

そうでない場合は、他の言語で書かれた適切なソリューションをラップするソリューションの回答を受け入れる傾向があります（リンクするDllおよび/またはobjファイル、Prolog.NETについて知っています：提案しないでください）。

Java バイトコードを実行できる抽象的なマシンに詳しい人がいるかどうか疑問に思っていました。拡張できるものを探していることに注意してください。抽象マシンとは、セマンティクスを指定する必要があるため、JVM を意味するものではありません。

具体的には、実際に自分ですべての命令をシミュレートする必要なく、特定の時点でスタックに何があるかを追跡する方法を探しています。これに適したフレームワークを知っている人はいますか?

次のような式を解析する必要があります。neg(and(X,Y))

上記の例のように、Abstract Stack Machine Code を出力する必要があります。

しかし、今のところマシンコードは問題ではありません。式の入力文字列をすべてのサブ式に解析/分割するにはどうすればよいですか?

最初のブラケットを見つけて、それから最後のブラケットに連結しようとしましたが、内部式がある場合は問題が発生しますか?

私が試したコード：（まだ開発段階にあるのではないでください）

私は基本的な解決策を探しているだけです, それはする必要があります: and, or, neg

x86_64 アーキテクチャでは、ポインターは 8 バイトです。sizeof(x)8 を返す必要があるのは理にかなっています。 acharは 1 バイトであり、5 バイトは array のサイズであることを理解していますz。sizeof(z)8 を返さない理由の背後にある直感は何ですか?