검색 결과 9 개 일치합니다

안녕하세요.

과제 5의 absem 함수의 signature에 관한 질문입니다.
과제 스펙에서는 absem 함수를 먼저 구현하고 이를 바탕으로 analysis 함수를 구현하라는 ...

안녕하세요.

과제2 스켈레톤 코드에 있는 example/d3.dd 의 내용이 다음과 같은데,

=== Printing Input Program ===
0: SEQ
1: x := 5;
2: SEQ
3: y := read();
4: SEQ ...

안녕하세요. 과제 6-4번 질문드립니다.

1. type environment는 뼈대코드에 정의되어 있지 않은 것 같은데, 직접 정의해서 사용하면 되나요?

2. simple_checker. ...

안녕하세요.

스펙에 명시된 메모리의 크기가 128까지라는 것은,
단순히 메모리(리스트)의 크기가 128이라는 뜻인가요?
아니면 가능한 주소값이 1~128� ...

안녕하세요.

테스트의 입력이 [(A, [...]); (B, [...]); (C, [...]); (D, [...]); (E, [...])] 와 같이
깔끔한 형태로 들어오는지 궁금합니다.

아닌 경우 1 : A~E 중 � ...

OCaml 에 내장되어 있는 모듈을 자유롭게 사용할 수 있는지 궁금합니다.

또한 글을 게시한 시간 기준으로 martini server의 OCaml이 4.02.3 버전인데,
(만약 � ...

과제 2-6의 뼈대코드에서는 모듈을 정의할 때
module type Queue에서 type 이름만 써 주고
module IntListQ 에서 그 타입을 지정해 주었는데

과제 2-7에서는 modul ...

과제 2-2에서 구현한 crazy2val 함수는
과제 2-3의 코드에 포함하지 않고(또는 주석처리) 제출해야 하나요?
과제에서 주어진 '다음의 성질' 도 검사하는지 ...

리스트에는 동일한 정수가 들어 있지 않는다는것은
입력되는 리스트에만 해당되나요? 아니면 리턴값도 그것을 만족해야 하나요??