Advanced
Compilers & Programming Language Theory
Q87 / 100
What is denotational semantics?
Correct! Well done.
Incorrect.
The correct answer is B) A formal semantics assigning mathematical objects (functions, domains) as meanings to programs — a function [[e]] mapping syntactic expression e to its mathematical meaning
B
Correct Answer
A formal semantics assigning mathematical objects (functions, domains) as meanings to programs — a function [[e]] mapping syntactic expression e to its mathematical meaning
Explanation
Denotational semantics (Scott-Strachey): [[if b then e1 else e2]] = if [[b]] then [[e1]] else [[e2]]. Compositional: meaning of compound expression from meanings of parts. Requires domain theory (Scott domains) for recursive definitions.
Progress
87/100