[강호찬]

이전 K-- 정의는, 사실 K-- 에서 필요한 정의 이상의 것을 포함하고 있어서 새로 업데이트 된 것 같은데요,

그 과정에서 EQUAL 에 대한 semantics 의 표기법이 약간 달라졌는데,
이전에는 v1 = v2 = n 또는 v1 = v2 = b 또는 v1 = v2 = . 였고
이후에는 v1 = v2
로만 표시되었습니다.

표현 방식이 달라졌는데, 의미는 갖다고 생각하면 될까요?
그리고 EQUAL false 에 대한 부분도 단순히 v1 ≠ v2 로 바뀌었는데, 이전의 otherwise 라고 생각하면 될까요?

[이재호]

생각하시는 내용이 맞습니다.
EQUAL의 semantics에서 v1=v2는 값 (Val = Z + B + {.})의 같음을 의미합니다.

기존 문서에 추가적으로 procedure semantcis가 나와 있던 부분을 제외하고는 구현하셔야 하는 내용의 차이는 없으므로, 기존에 생각했던 semantics와 동일합니다.

감사합니다.