검색 결과 12 개 일치합니다

주어진 sematics에는 아주 확실히 쓰여있지는 않다고 생각합니다.

숙제 3을 할 당시에 이것을 두고 고민하다가, 의미정의에서

<b,0>, ..., <b, n-1&g ...

문제에는

procedure f(x) = if x<0 then 1 else f(x-1)

에서, 재귀호출 f(x-1)이 끝난 후에 할일은 아무것도 없다고 하였습니다만, 우리의 K-- semantics는 if의 '값 ...

공지사항에 덧글을 다는 것은 어쩐지 부담스러워서 Embarassed

여기에 질문 올립니다.

(2) 3번을 해결하기 위해 여러분들이 SM5 모듈을 뜯어 고칠수 있다는 ...

5-1에서 '포인터'(Location)를 잘 구현하기 위해서(그리고 5-3에서 fragmentation 문제 때문에라도) malloc이나 기타 operation, 값들에 메모리 오버헤드가 있는 방법 ...

네, 그런 이름이 사용 중이지 않다고 가정하세요.

함수의 이름에 '를 붙여도 이름이 겹치지 않는다고 가정해도 좋다는 것으로 이해하였습니다. 그렇� ...

결국 또 실수를 하고 말았습니다 Embarassed

하지만 이제 어떤 의미인지 잘 알겠습니다. 감사합니다.

E1이 임의의 수식을 의미할 수 있으므로 그런 경우를 포함한다는 것을 간과하셨습니다.

아, 그러고 보니 그렇네요.; `()를 '식인 값'을 추론 규칙에서 � ...

제 글에 잘못이 있었습니다. 죄송합니다.
그러나, 그렇다면 `(3+,(x+1))과 lift(`(3+,(x+1)))가 x의 값이 4일 때 공히 `(3+5)가 되어
쓸데없이 질문의 본질과 관� ...

질문이 모호한 것 같아 덧붙입니다.

제가 적은 추론 규칙

σ,MㅏE↓'(E1),M1
──────────
σ,Mㅏlift(E)↓'(E1),M1

에 관해서는, 아래쪽의 � ...

(아래쪽에 다른 분도 질문하셨지만 밀려내려가는 중인 것 같아서..;)

dissolveCbr만을 정의한 파일만을 제출하는 것인지, 다른 무엇과 같이 돌아갈 수 있 ...

저도 그 규칙이 궁금합니다.

저도 E가 '(E1)이라면 모를까 E1으로 평가될 수는 없다고 생각합니다. 그렇다고 ㅏ1을 생각하자면 다른 lift규칙에서 미루� ...

procedure이름이 허용되면 설탕을 녹일 때 문제가 생기기 때문에 변수만을 고려하라고 교수님께서 수업시간에 말씀하셨습니다.
다만, 정의도 바꾸시겠� ...