Due: Friday, October 27, 2017, 11:00 am (Session A) 1:00 pm (Session B) (start of the class)

Derive the meaning of the following Clite loop with state = {<a, -1>, <b, 1>}.

	while (a < b) {
		a = a + 2;
		b = b + 1;
	}

© 2017 Ying Li. Page last modified: .