What questions can denotational semantics answer that operational semantics can't?
-
04-11-2019 - |
Question
I am familiar with operational semantics (both small-step and big-step) for defining programming languages. I'm interested in learning denotational semantics as well, but I'm not sure if it will be worth the effort. Will I just be learning the same material from a different point of view, or are there insights I can only gain from understanding denotational semantics?
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange