What questions can denotational semantics answer that operational semantics can't?
-
04-11-2019 - |
题
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?
没有正确的解决方案
不隶属于 cs.stackexchange