게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

프로젝트2 공지

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2010)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
이원찬



가입: 2010년 3월 4일
올린 글: 34

올리기올려짐: 2010년6월16일 19:31    주제: 프로젝트2 공지 인용과 함께 답변

안녕하세요.
프로젝트 2 공지합니다.

1. 필요한 파일들
- 프로젝트 설명서: 강의 홈페이지의 참조
- 뼈대: http://ropas.snu.ac.kr/~ta/4541.664A/10/skeleton/prj2/project2.tar.gz

2. 뼈대 구성
- 파서
- 테스트 프로그램 (총 12개)
- n 함수
- 기본 틀(analyzer.ml)

3. 실행 방법
make (혹은 make native)후 생성되는 main(혹은 main.native)에 대해
다음을 실행:

./main < xxx.k (혹은 ./main.native < xxx.k)

4. 주의 사항
1) 구현은 자유롭게.
허나, 반드시 ANALYZER module의 signature를 지키시기 바랍니다.
(채점은 get_all_davinci_vars 함수를 사용해서 합니다.)

2) mod의 정의
프로젝트 문서에서 mod는 OCaml의 mod 연산이 아니라
나머지 연산(rem)입니다. (나머지 연산은 구현하시기 바랍니다.)
예) -1 mod 2 = -1
-1 rem 2 = 1

5. 제출 기한
프로젝트 문서에 나온 것처럼 23일 자정까지 제출 바랍니다.
디자인 문서는 지난 번처럼 메일로 보내시기 바랍니다.

궁금한 사항은 게시판을 적극 활용하시기 바랍니다.
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2010) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay