분야
pdffollowing constraints: 1) two functions exist, 2) one of the function contains two inner scopes, where the scopes
are independent from each other, 3) three variables with same name in different scopes exist, 4) at least one
extern variable, const variable, float variable, int variable, char variable are required. You also need to provide
the program in C language.
2. (10) (a) Please construct a type derivation to show “if (iszero(succ(pred(0)))) then pred(succ(0)) else
succ(pred(0)): int” under the following situation.
(b) Please change “if (iszero(succ(pred(0)))) then pred(succ(0)) else succ(pred(0)): int” to have a type error
under the following situation.
여러 과목 판매하고 있으니 판매자료 참고 부탁드립니다.
