Wie funktioniert das Binden in einer Warren's Abstract Machine, wenn eines der Argumente ein Register ist?

Question

Feb 23, 2015, 02:33 AM

Ich versuche, meine eigene WAM-Implementierung zu erstellen und bleibe beidie Übung 2.4

Ich kann nicht verstehen, wie die Anweisung ausgeführt wirdunify_value X4 in Abbildung 2.4.

Soweit ich weiß, sollte diese Anweisung Y aus dem Programm mit f (W) aus der Abfrage vereinen.

unify_value X4 Anrufeunify (X4,S) wobei S = 2 ist (siehe Abbildung 2.1) und eine entsprechende Heap-Zelle "REF 2" ist und X4 "STR 5" ist.

Unify (Abbildung 2.7) solltebind diese Werte, aber ich verstehe nicht, wie manderef a register.

"REF 2" befindet sich im Heap, "STR 5" befindet sich in einem Register. Wie geht es dirbind etwas zu einer Registrierung?

Antworten auf die Frage(2)

Rails 3: Wie kann mit JSON in Rails auf REST-volle Aktionen richtig reagiert werden?

Google Maps-Fragment wird nicht geladen

Restangular-Aufruf in einem Abfangjäger wiederholen

Java - JPA - @Versionsanmerkung

Wie man mit mysqli @ ein dynamisches mehrdimensionales Array in eine Datenbank einfü