I am trying to come to grips with this, this looks like this sets up the condition where the whole language compiler stack can change the target architecture an

I am trying to come to grips with this, this looks like this sets up the condition where the whole language compiler stack can change the target architecture and implementation. This feels like some powerful algebraic property has been satisfied. https://en.wikipedia.org/wiki/Popek_and_Goldberg_virtualization_requirements https://en.wikipedia.org/wiki/Popek_and_Goldberg_virtualizat...