[이기석]

수업시간에 배운 것과는 달리 숙제에서는

메모리를 변화시키는 S(statements)와

값을 계산하는 E(expressions)를

구분하지 않습니다.

이렇게되면 semantics가 정의 안되거나 불분명한 부분이 많습니다.

특히

((x := 3) + (x + 5)) 와 같은 경우

(e1 + e2) 형식이기 때문에 ADD의 semantic을 따를텐데,

실제 강의 슬라이드에서는 ADD의 인자로 올 수 있는 것들이

Expressions 이므로 주어진 환경과 메모리에 대해 각각의 값을

계산해서 더한 값을 돌려주면 그만입니다.

하지만 숙제에서는 S 와 E를 구분하지 않으므로

e1의 값을 계산하는 과정에서 메모리와 환경의 변화가 있을 수 있고,

(1) 그 경우 e2의 값을 계산하는 과정이 원래의 메모리와 환경에서 계산을

할 것인지

아니면

(2) + 를 sequential point로 간주해서 e1이 변화시킨

메모리와 환경 상에서 계산을 할 것인지등 정의가 안되는 부분이 많다고

생각합니다.

전자의 경우 위 식은 Error를 뱉어야겠지요.



위와같은 많은 사항들에 대해서 semantics를 새로 정의해 주던가,

스펙을 S와 E를 구분하도록 수정하던가,

아니면 구현상으론 S와 E를 구분하지 않지만 S와 E를 구분하는 것처럼 제약을

준 테스트 프로그램을 사용하던가 하는 해결책이 필요할 듯 합니다.



아래 글들을 보면 이런경우 토론을 통해

semantics를 새로 정의해 주는게 맞겠지만,

수업시간의 semantics 와 큰 차이를 보이는 부분이라 조교님의

의견을 듣고 싶습니다.

[이기석]

강의 슬라이드에 정의 돼있군요

못찾고 있다가 찾았습니다

죄송합니다 ㅡㅡ;;