I just came across the terms (denotational|operational|axiomatic) semantics once again (see screenshot), and actually the first two seem to unify pretty well with WuV's relative semantics and absolute computational semantics quite well. Not sure if we covered axiomatic semantics like Hoare logic at all.
Suggestions:
-
It would be nice if those terms were mentioned and unified with our concepts.
-
How is relative semantics by translation into mathematical objects seen in WuV?
E.g., "denotational semantics of functional languages often translate the language into domain theory" (source below). This sounds a bit like relative deductive semantics with whole mathematics as the target language.
source: https://en.wikipedia.org/wiki/Semantics_(computer_science)#Approaches
I just came across the terms (denotational|operational|axiomatic) semantics once again (see screenshot), and actually the first two seem to unify pretty well with WuV's relative semantics and absolute computational semantics quite well. Not sure if we covered axiomatic semantics like Hoare logic at all.
Suggestions:
It would be nice if those terms were mentioned and unified with our concepts.
How is relative semantics by translation into mathematical objects seen in WuV?
E.g., "denotational semantics of functional languages often translate the language into domain theory" (source below). This sounds a bit like relative deductive semantics with whole mathematics as the target language.
source: https://en.wikipedia.org/wiki/Semantics_(computer_science)#Approaches