ASSIGNMENT #5

Due Tuesday, February 24, 2004

Consider the Core program below:

input n;
i := n;
while (i > 0) loop
  i := i - 1;
end loop;
output i;

Assuming that the input file contains the integers 2 and 3 (i.e., the list <2, 3>), use the denotational semantics of Core to trace the interpretation of the program.