[이광근]

강의시간과 보드를 통해서 이야기된
정비된 K--의미정의를 참고하기 바랍니다.

교재의 K--의미구조의 정의(pp.79-80)에서
- let
- while
- for
의 정의들이 정비된 것이 여기있습니다.

* 메모리 반응이 항상 축적되도록 하는 정의.
* for-expression에서 lower&upper-bound크기가 역전된 경우 의미 정의.
* EQUAL(e1,e2)의 의미는 같은 정수일 때만 true, 다른 모든 경우는 의미없음.

이번 숙제에 반영하기 바랍니다.
(혹시 이 공지를 보지 못한 학생들을 위해서, 위의 변화에 민감하도록 숙제검사가 진행되지는 않을 것입니다.)

-K