sigma1 |- c = a + b + c ==> sigma2(that is, where the assignment c = a + b + c transforms state sigma1 to sigma2)? If so, write sigma2 explicitly as a set of pairs. {(a, 1), (b, 2), (c, 6)}
void p(int & a, int & b){ a = a + 1; b = b + 2; }What is the value printed by the following fragment of code, given the above declaration?
int c = 3; p(c,c); cout << c;6