I believe that these languages do have a specified execution model (how would you execute them without one?), they just don't have any hard prescription as to h

I believe that these languages do have a specified execution model (how would you execute them without one?), they just don't have any hard prescription as to how to map it onto hardware the same way that, for example, C does.