1. The axiomatic semantics of Section 12.4 did not include a description of the semantics of expressions. Describe a way of including expressions in the axiomatic descript 2. Compute E[[23 * 5 - 34]]...

1. The axiomatic semantics of Section 12.4 did not include a description of the semantics of expressions. Describe a way of including expressions in the axiomatic descript

2. Compute E[[23 * 5 - 34]] using the denotational definition of the sample language