4 ms·
"Denotational semantics are a great way to capture the meaning of a programming language" - big claim - what is the meaning of a programming language? For exam
by jpz 6y ago
"Denotational semantics are a great way to capture the meaning of a programming language" - big claim - what is the meaning of a programming language?
For example, if you able to capture what the meaning of a programming language is, then could you please demonstrate by communicating what "the meaning of the programming language" C is, for instance? This appears to be a nonsensical combination of words, as I do not recognise a programming language as having an intrinsic meaning?
- nv-vn 6y agoI think you're thinking of the wrong definition for "meaning." OP is talking about what code in a language means, i.e. when I see the code say `1 + 2` does that mean that the numbers signed or unsigned? Are they arbitrary precision or a certain size? What errors can result from the addition? Etc. It's essentially saying that you can look at a piece of code and formally define what it means to the computer