[최민아]

어떤 k-- 프로그램을 empty메모리와 empty Environment에서 실행한 결과가 v와 mem이라 하면
이 k--프로그램을 번역해서 SM5에서 돌리면 다 돌리고 난 후에 스택의 맨 위에 Value 타입의 v가 있고 M은 mem과 같은 location에 같은 Value가 binding 되어 있으면 되나요?

그리고 SM5 모듈에서는 나눗셈에서 divide zero 익셉션이 없는데 이건 RunError가 아니라 Ocaml의 기본 익셉션이 발생하도록 놔두면 되나요?

그리고 이런 질문을 드려도 될 지 잘 모르겠지만 SM5 기계의 environment에서 변수의 위치나 함수 찾으려면 어떻게 해야 하나요? environment에서 스택으로 꺼내는 건 unbind밖에 없는 것 같은데 unbind는 항상 environment의 가장 앞에서만 꺼내네요..찾을 때까지 unbind를 한다음 bind를 다시 하는 방식으로 해야 하는 건가요?

[박광석]

번역기는 Sm5의 command만 고치게 되어있고
S, M, E, K에 대한 직접적인 접근은 불가능합니다

그런데 주어진 Sm5의 작동 스텝을 보면
숙제의 스펙을 구현하기가 불가능한것 같아요.

1. malloc 후 store 하는 과정에서 location에 대한 정보가 스택에서
사라져 버립니다. 그래서 바인딩도 못하죠.
따라서 값이 사라지지 않고 필요에 따라 이후에 pop을 통해
스택을 비워줄 수 있게 바꿔줘야 할 것 같습니다.

2. 최민아씨 말씀대로 environment에서 id를 통해 환경변수에 access하는
command가 필요한 것 같습니다.

3. jtr command만으로 while, for loop를 구현가능한건가요?
저는 어떻게 궁리를 해서 짜봐도 스택 오버플로우가 떠요 ㅠㅠ

[구원준]

1. Malloc 후 바인딩을 먼저하고 스토어하면 문제가 없을 것 같습니다.

2. environment에서 id를 통해 변수나 Procedure에 접근하는 방법은 Push x 가 있습니다.

3. while, for loop을 서브 프로시져를 생성하지 않고 (즉, Call을 사용하지 않고 번역할 수 있는 방법) 구현할 수 있나요..? 저도 아무리 궁리를 해도 답이 잘 나오지 않네요ㅜㅜ

혹시 제가 질문을 잘못 이해한 부분이 있으면 조교님이 와서 정정해 주시겠죠....?ㅎㅎ

[조성근]

[최종욱]

빠른 수정 감사합니다!

그런데 스켈레톤 sm5.ml 에서 에러가 납니다. 173번째 raise RunError 에서 괄호가 하나 빠져있네요..
_________________
Jongwook Choi
Seoul National University, School of Computer Science & Engineering