Chapter 3, Problem 28RQ

Explanation of Solution

Denotational Semantics:

The Denotational Semantics are used to define the meaning of programs. It is based on recursive function theory. A recursion is a concept in which a function is called itself.

Example of factorial of a number:

if (n==0) then 1 else n*factorial(n-1)

In denotational semantics a mathematical object is constructed. This object is known as denotation. The denotation of a phrase is determined by the denotations of its sub phrases. Denotational semantics provided the meaning of a computer program as a function which mapped input into output...