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