[조성근]

1. Var(id)에서 id가 bind되지 않은 값이면
Env.Not_bound 예외 또는 K.Error 예외

2. K.Error 예외
0으로 나누는 것
함수를 호출할 때 (CALLV, CALLR) 매개변수의 수가 맞지 않는 경우

3. Mem.Not_allocated, Mem.Not_initialized 예외
위의 예외들은 Mem.replace, Mem,load에서 사용됩니다. 위의 예외들이 발생되는 상황에서는 그것들이 발생되도록 두시면 됩니다.

4. read의 경우 I/O로 정수만 들어온다고 가정

5. EQUAL에서 인자가 레코드인 경우 그 값은 false입니다. Semantics에서 EQUALF에 해당합니다.

6. 문제 3-3에서는 0보다 큰 정수만이 입력으로 들어온다고 가정합니다.

7. 문제 3-3은 K.read로 액수를 읽고 K.write로 거스름돈을 만들어 주는 방법의 수를 출력하도록하는 K- 프로그램을 제출하세요.

8. 문제 3-4는 요구하는 함수를 정의하고 in으로 끝나는 불완전한 K- 프로그램을 제출하시면 됩니다. 제출하신 코드에 테스트 코드를 덧붙이는 방식으로 채점이 이루어질 것입니다.

9. v1과 v2의 type이 다를 경우에, 이 둘을 비교하면 에러를 내야 하나요, false를 리턴해야 하나요?
K- 언어의 의미구조대로 false를 출력하세요. 이는 의미구조의 EQUALF에 해당합니다.

[박상일]

1.의 경우는 이미 env_loc 함수 내에 구현되어 있는 것이 아닌가요? 제가 따로 코딩해 넣어야 하는 부분이 없는 것 같은데요···.

[조성근]