게시판 인덱스

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

hw 5-2, 5-3 test set

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2009)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김성준



가입: 2009년 9월 10일
올린 글: 30

올리기올려짐: 2009년11월3일 16:56    주제: hw 5-2, 5-3 test set 인용과 함께 답변

hw5-2와 hw5-3이 제대로 동작하는지 확인하기 위해서 몇가지 M0 프로그램을 만들어서 돌려봤습니다.

다른 분들도 돌려보시고 빠진건 없는지, 제가 잘 못 생각하고 있는건 없는지 알려주시면 감사하겠습니다~

0. 각 M0 program의 결과 및 검증하고자 하는 동작
test0.m: 0 - Num 0
test1.m: 3 - Num 3
test2.m: 4 - add
test3.m: 4 - sub
test4.m: 0 - ifz 1
test5.m: 1 - ifz 0
test6.m: 1 - fn, app
test7.m: 1 - fn을 리턴하는 fn
test8.m: 6 - rec, app
test9.m: 1 - pair, fst
test10.m: 2 - pair, snd
test11.m: 1 - and(true)
test12.m: 0 - and(false)
test13.m: 0 - and(false)
test14.m: 2 - pair of pair
test15.m: 0 - sub (negative result)
test16.m: 3 - app를 인자로 받는 fn
test17.m: 2 - fn을 인자로 받는 fn

1. M0 program
http://kdb.snu.ac.kr/~sjkim/mexp.tar.gz

2. result of hw 5-3 (mexp -> lexp)
http://kdb.snu.ac.kr/~sjkim/lexp.tar.gz

3. result of hw 5-2 (lexp --reduce-> lexp)
test0.m (\f.(\x.x))
test1.m (\f.(\x.(f) ((f) ((f) (x)))))
test2.m (\f.(\x!.(f) ((f) ((f) ((f) (x!))))))
test3.m (\f.(\x!.(f) ((f) ((f) ((f) (x!))))))
test4.m (\f.(\x.x))
test5.m (\f.(\x.(f) (x)))
test6.m (\f.(\x!!.(f) (x!!)))
test7.m (\f.(\x!.(f) (x!)))
test8.m (\f.(\x!!.(f) ((f) ((f) ((f) ((f) ((f) (x!!))))))))
test9.m (\f.(\x.(f) (x)))
test10.m (\f.(\x.(f) ((f) (x))))
test11.m (\f.(\x.(f) (x)))
test12.m (\f.(\x.x))
test13.m (\f.(\x.x))
test14.m (\f.(\x.(f) ((f) (x))))
test15.m (\f.(\x!.x!))
test16.m (\f.(\x!.(f) ((f) ((f) (x!)))))
test17.m (\f!.(\x!.(f!) ((f!) (x!))))


리눅스에서는 "./ex3/run test##.m | ./ex2/run"와 같은 방식으로 쉽게 결과를 확인할 수 있습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
현철



가입: 2009년 10월 7일
올린 글: 27

올리기올려짐: 2009년11월6일 8:04    주제: ㅋㅋ 인용과 함께 답변

감사합니다..ㅋㅋ

덕분에 테스트 쉽게 해볼 수 있었어요~~

답은 다 똑같이 나왔네요 Smile
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2009) 시간대: GMT + 9 시간(한국)
페이지 11

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


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