검색 결과 11 개 일치합니다

수업시간에 let polymorphic에서
malloc을 포함하는 언어를 디자인하게 되면 unsound한 type시스템이 된다는 사실을 배우면서, sound한 type시스템 구현을 위해선 ...

1.
시멘틱 문서에는 [Paren] 에 해당하는 의미구조가 설명되어 있는데
M언어의 expression type에는 이에 해당하는 것이 없는 것 같습니다.

Parsing과정에서 ...

작년 게시판을 가보니

C언어처럼
0은 false 나머지는 true로 사용하는 것 같네요.

이번에도 이렇게 구현하면 되겠죠?

숙제 5-2에 있는 M0언어에는 Boolean Type을 갖지 않는 것 같습니다.

하지만, Boolean Type 연산에 해당하는 And 연산이 있는데 And 연산을 어떻게 정의해야 할� ...

감사합니다

테스트 케이스에서 for semantic 잘못 적용한 부분 있어서 수정할 수 있었네요~

그러면 laccount의 값이 8192보다 커져도 상관이 없다는 말씀이죠?

즉, 현재 구현되어 있는 Memory의 형태가 (loc * value) list의 형태이므로 이 리스트의 길이 ...

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

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

정수를 입력받아 정수를 출력하는
k- 프로그램을 작성하면 되는지 궁금합니다.

감사합니다 Smile

조교님, 게시판에 질문글에 답해주랴 채점하랴 고생 많으셨지요.

숙제의 spec이 완벽하게 주어진 상태가 아니여서 수강생 분들이 글을 올리고 질문을 ...

SIGMA와 INTEGRAL이 겹친다고 하여도 X와 같은 이름 있는 변수가 하나만 사용되는 식이 있을 수 있습니다.

<img align="middle" src="http://ropas.snu.ac ...

신청합니다.