Due: Friday, October 28, 2016, 10:00 am (start of the class)

For each of the following Clite expressions, derive its meaning.

  1. Expression:3 * x + y; State: {<x, -1>, <y, 1>}
  2. Expression:x + y / 3; State: {<x, 3>, <y, 1>}

© 2016 Ying Li. Page last modified: .