진민식
가입: 2006년 3월 21일 올린 글: 67
|
올려짐: 2006년5월8일 13:27 주제: take-home exam 관련 오류 수정 |
|
|
1. problem1,problem2의 abstract semantics 에서
e -> x인 경우가 빠져 있습니다.
적절한 정의를 추가하셔서 푸시면 되겠습니다.
2. problem 1 의 abstract semantics에서
e -> if e e e 일 경우
alpha1이 alpha2 로 잘못 되어 있습니다.
alpha2를 alpha1으로 수정하셔서 푸시면 됩니다. |
|