Case<выражение> of

<десятичное_число> => M_d(<десятичное_число>, s)

<переменная> =>if VARMAP(<переменная>, s) = undef

then error

else VARMAP(<переменная>, s)

<двоичное_выражение> =>

if(M_e(<двоичное_выражение>.<выражение_слева>, s) = undef

OR M_e(<двоичное_выражение>.< выражение_справа >, s) = undef)

then error

else if (<двоичное_выражение>.< оператор > = '+' then

M_e(<двоичное_выражение>.<выражение_слева>, s) +

M_e(<двоичное_выражение>.<выражение_справа>, s)

else M_e(<двоичное_выражение>.<выражение_слева>, s) ×

M_e(<двоичное_выражение>.<выражение_справа>, s).

Оператор присваивания - это вычисление выражения плюс присваивание его значения переменной, находящейся в левой части. Сказанное можно описать следующей функцией:

М_а(х = Е, s) º if M_e(E, s) = error

then error

else s' = {<i₁', v₁'>, <i₂', v₂'>,..., <i_n', v_n'>} where

for j = 1, 2, ..., n, v_j' = VARMAP(i_j', s) if i_j <>x;

M_e(E, s) ifi_j = x.

Отметим, что два сравнения, выполняющиеся в двух последних строках(i_j <> x и i_j = х), относятся к именам, а не значениям.

После определения полной системы для заданного языка ее можно использовать для определения смысла полных программ этого языка. Это создает основу для очень строгого способа мышления в программировании.

Денотационная семантика может использоваться для разработки языка. Операторы, описать которые с помощью денотационной семантики трудно, могут оказаться сложными и для понимания пользователями языка, и тогда разработчику следует подумать об альтернативной конструкции.

С одной стороны, денотационные описания очень сложны, с другой - они дают великолепный метод краткого описания языка.