I want to know if there are any Virtual machines in the C standard spec (old or new). I wanted to take a deeper look at how is compilled and executed for different arch
To emphasize wahern's comment, I'll quote from the linked-to document: "The semantic descriptions in this International Standard describe the behavior of an
abstract machine in which issues of optimization are irrelevant."