The history of the c specification is irrelevant to the question of the abstract machine. Other languages developed this way are rust, scheme, and... yep, pretty much every single other language spec in existence.