[조호연]

안녕하세요,

RECT에 대해서 e_1부터 e_n까지 순서대로 evaluation하는 과정에서, e_i를 evaluation하여 v_i와 M_i를 얻고, M_i를 이용해서 Mem.alloc을 호출해서 l_i를 얻고, M_i의 l_i location에 v_i 값을 넣은 후에 (M_i{l_i -> v_i}), e_(i+1)을 evaluation해도 되는지 질문드립니다.

추가로 위의 방식과
e_1부터 e_n을 evaluation해서 M_n을 얻은 이후에, M_n을 이용해서 location n개를 할당하는 방식 둘 중에 아무거나 선택해서 구현해도 상관없는지 질문드립니다.

감사합니다.

[parkj]

안녕하세요.

K-.pdf에 정의된 실행 의미를 만족하도록 구현하시면 됩니다.

감사합니다.

조교 드림


===============
TA 박준영
jypark@ropas.snu.ac.kr