Due: Friday, November 4, 2016, 10:00 am (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;
	}

© 2016 Ying Li. Page last modified: .