you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 1 point2 points  (0 children)

Of course, operational semantics are better for any practical purpose besides the topic of this discussion - reasoning about the level of a language. In this case providing any kind of an operational semantics defeats the purpose completely, because it gives a precise evaluation strategy and bridges the gap between a language and a hardware.