Wilhelm, R., Seidl, H. (2010). Compiler Design: virtual machines. page 150
Posted: Thu Jul 14, 2022 2:11 pm
Wilhelm, R., Seidl, H. (2010). Compiler Design: virtualmachines. page 150
9. Translation of Programs. Translate the program rev(X,Y,Z)rev(X,Y,Z)reverse(X,Y)⇐X=[],Y=Z⇐X=[H∣L],rev(L,[H∣Y],Z)⇐rev(X,[],Y)⇐reverse(X,[4,2,1]) into WIM code. Apply the optimization of last goals.
9. Translation of Programs. Translate the program rev(X,Y,Z)rev(X,Y,Z)reverse(X,Y)⇐X=[],Y=Z⇐X=[H∣L],rev(L,[H∣Y],Z)⇐rev(X,[],Y)⇐reverse(X,[4,2,1]) into WIM code. Apply the optimization of last goals.