Questions tagged [denotational-semantics]

Filter by
Sorted by
Tagged with
10 votes
1 answer

How can denotational semantics be defined for imperative statements?

Denotational semantics associate each term in a program with some mathematical object representing the meaning of that term. When I see denotational semantics explained (e.g. in this answer), this is ...
kaya3's user avatar
  • 18.4k
13 votes
1 answer

What are denotational semantics, and what are they useful for?

The semantics of a language can be specified either by denotational semantics or operational semantics. These are sometimes summarised as: Denotational semantics specify the "meaning" of ...
kaya3's user avatar
  • 18.4k
15 votes
1 answer

How can we define a denotational semantics for recursive functions?

Motivation I want to define a denotational semantics (see here or here) for recursive functions in my language, by representing them as mathematical functions. Background Consider a simple language ...
David Young's user avatar
  • 2,127