[심민섭]

일단 8192개의 로케이션은 loccount와 관련해서 그 작업을 처리해주면 된다는 것은

어렵지 않게 알 수 있습니다.

그렇다면 제가 생각한 방법은 gc를 하는 시점에서 환경에 있는 id들에 대해서

각 로케이션을 모두 체크해볼까 합니다. 다만, 이런 작업을 하는데

제가 잘 모르겠는 부분이 바로 box와 unbox입니다.

우선, box의 경우, w1::w2::...::wz::S ~~~~ box z::C ~~~일 경우
[w1, w2, ..., wz]::S와 같이 리스트 꼴로 묶어주는 거로 보아 record형식같아 보입니다.

여기서 저 w하나하나가 무엇을 나타내는지가 궁금합니다.

레코드는 {id -> loc}의 집합과 {loc -> value} 이 집합으로 나뉘는데 어떤 것에 해당하는지가 의문입니다!

두번째로, unbox를 할때 옆에 조건식인 wk = (x, v) (1 <= k <= z)라는 조건이 있는데 여기서 v가 무엇을 의미하는지도 궁금합니다. semantics에는 w들과 x만 있는데 갑자기 v가 나오니 헷갈립니다 ㅜㅜ...

(4-2에서는 box와 unbox를 사용하지 않았기 때문에 문제가 되지 않았습니다만...)

[심민섭]

2번째 질문은 생각해보니 혹시 [w1, w2, ... , wz]에 x를 넣었을때 그에 상응하는 id가 있을때 그에 상응하는 value v를 stack에 넣어주는것인가요???

물론, 그럴 경우 w는 뭔가 id->value로 가는 하나의 조그마한 expression될거 같기도 하고...! 알려주셨으면 좋겠습니다!

[최준원]

[심민섭]

좋은 답변 감사합니다!