게시판 인덱스

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

숙제 7의 뼈대입니다.

 
글 쓰기   답변 달기     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2011)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
조성근



가입: 2009년 9월 14일
올린 글: 283

올리기올려짐: 2011년5월18일 10:51    주제: 숙제 7의 뼈대입니다. 인용과 함께 답변

숙제 7의 뼈대입니다.
http://ropas.snu.ac.kr/~ta/4541.664A/11/skeleton/hw7/hw7_skeleton.tar.gz_


여러분께서 작성하실 코드
- davinci.ml의 daVinciCode 함수
- interval.ml의 intervalT 함수
입니다. domain.ml을 비롯하여 분석기 작성에 필요한 부분을 수정하여도 좋습니다. 제출할 때에는 모두 압축하여 제출해 주시기 바랍니다.


실행기와 디버거
제공된 뼈대에는 실행기와 디버거가 포함되어 있습니다. make로 생성되는 실행파일에 -r / -db 옵션을 주어 이들을 실행할 수 있습니다. 디버거의 사용방법은 README에 정리되어 있습니다.


예제
ex 디렉토리에 예제 파일들이 포함되어 있습니다. 예제 파일은 여러분께서 작성하실 분석기에 가이드라인을 제공합니다.


실행
make로 컴파일하면 main.o라는 실행파일이 생성됩니다. 이 실행파일의 사용법은 다음과 같습니다.
> main.o [-option] [filename]

옵션들
-pp pretty print mode
-up ugly print mode : 파싱된 결과를 확인하기 위하여 사용됩니다.
-d daVinciCode 분석 모드, daVinciCode함수를 사용하여 분석된 결과를 출력합니다.
-i intervalT 분석 모드, intervalT 함수를 사용하여 분석된 결과를 출력합니다.
-r 실행기 모드, 입력으로 주어진 T 프로그램을 실행합니다.
-db 디버깅 모드, 입력으로 주어진 T 프로그램의 디버깅을 시작합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2011) 시간대: GMT + 9 시간(한국)
페이지 11

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


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