Go backward to Axiomatic semantics Go up to Top Go forward to Application Areas

Denotational semantics

• The meaning of a program is a (mathematical) object.
• Each construct is mapped by a valuation function into its meaning (denotation).

F ( P ) = D

P ...program
F ...valuation function
D ...denotation

More abstract than operational semantics (no computation steps), more concrete than axiomatic semantics (explicit meaning).