The sample language did not include any input or output statements. We could add these to the grammar as follows: Add input and output statements to the (a) operational semantics and (b) denotational...

The sample language did not include any input or output statements. We could add these to the grammar as follows:

Add input and output statements to the (a) operational semantics and (b) denotational semantics. (Hint for denotational semantics: Consider a new semantic domain IntSequence to be the set of sequences of integers. Then statement sequences act on states that are environments plus an input sequence and an output sequence.)