> If you have any language where it is "semantially correct" to execute it with a simple interpetter, than all optimizations in that language are not semantical

> If you have any language where it is "semantially correct" to execute it with a simple interpetter, than all optimizations in that language are not semantically important by definition, right? Not when "correct" needs optimizations to meet real-time guarantees. It's hard to argue that a program which doesn't run is "correct".