게시판 인덱스

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

숙제 6에 대해서 알려드립니다. - 뼈대가 수정되었습니다(4/20, 오전 10시 39분)

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



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월16일 15:18    주제: 숙제 6에 대해서 알려드립니다. - 뼈대가 수정되었습니다(4/20, 오전 10시 39분) 인용과 함께 답변

숙제 6이 공지되었습니다.
http://ropas.snu.ac.kr/~kwang/4541.664A/09/hw6.pdf

기한은 4월 23일 목요일 자정까지 입니다.
_________________
- soon@ropas


공순호 가 2009년4월28일 10:52에 수정함, 총 7 번 수정됨
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월16일 15:21    주제: 인용과 함께 답변

숙제 6을 읽어보시면, 숙제 5에서 추출했던 방정식과 타입이 조금 다른 것을 알 수 있을 겁니다.

오늘 밤 자정에 숙제 5의 delay 기간이 끝나면, 숙제 6을 위한 semanticEqns 과 뼈대들을 올려드리겠습니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
이길주



가입: 2009년 3월 19일
올린 글: 5

올리기올려짐: 2009년4월18일 11:14    주제: 저기... 인용과 함께 답변

뼈대가 아직 안올라온거 맞죠?...
혹시 저만 못본게 아닌가 싶기도 해서...

목요일부터 눈이 빠지게 기다리는 중입니다..ㅠ.ㅠ
위로
사용자 정보 보기 비밀 메시지 보내기
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월18일 11:15    주제: 인용과 함께 답변

마무리 중입니다.

완료되면 공지드리겠습니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
이길주



가입: 2009년 3월 19일
올린 글: 5

올리기올려짐: 2009년4월18일 21:56    주제: 고생하시네요.. 인용과 함께 답변

조교님도 학생들도 모두 화이팅..ㅠ.ㅠ
위로
사용자 정보 보기 비밀 메시지 보내기
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월18일 21:58    주제: 인용과 함께 답변

오늘 칩거하며 뼈대만 깎았습니다...
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2009년4월18일 22:47    주제: 인용과 함께 답변

방망이 깎는 노인이 생각나네요.

조교 형님의 장인정신에 박수를 보냅니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
최원태



가입: 2006년 9월 16일
올린 글: 369

올리기올려짐: 2009년4월19일 0:47    주제: 뼈대를 공개합니다 인용과 함께 답변

*변경사항

Analyzer 전체를 구현하는 것에서 Analyzer의 핵심부만 구현하도록 변경되었습니다.

그리고 값의 요약 domain을 구현해보는 내용이 추가되었습니다.


문제에서 다루는 state는 memory의 요약 domain입니다.

이런 domain은 값 domain을 요약하는 방식에 따라 자연스럽게 도출됩니다.

방정식을 푸는 작업과 방정식의 해공간이 어떻게 서로 추상화되어있으며 또 연결되어있는지

구현을 통해서 직접 느껴볼 수 있을 것입니다.




* 뼈대

http://ropas.snu.ac.kr/~soon/6.zip

를 받으세요. README를 꼭 읽어보세요.



* 무엇을 만들어야 하나

analyzer.ml에 주어진 Ananlyzer functor의 정의를 완성하세요. (analyzer)

interval.ml에 주어진 IntervalCPO의 정의를 완성하세요. (value domain 1)

intSet.ml에 주어진 IntSetCPO의 정의를 완성하세요. (value domain 2)



* 제출

analyzer.ml, interval.ml, intset.ml을 제출합니다.

각각 6-1,6-2,6-3번 과제로 생각하시면 됩니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2009년4월19일 1:04    주제: 인용과 함께 답변

뼈대가 안받히네요.

저만 그런가요?
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월19일 1:06    주제: 인용과 함께 답변

중앙전산원에서 학교 외부에서의 접근을 막아둔 것이 있는 모양입니다.

지난 5번 과제 때부터 특정 확장자 다운에 문제가 있군요. 문의해보겠습니다.

일단은 변경된 링크를 이용하시면 됩니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2009년4월19일 14:07    주제: 인용과 함께 답변

인용:


제공된 뼈대가 만들어내는 방정식에서

프로그램의 맨 처음 메모리 상태가 Bottom 이라는 식이 빠져있습니다.

곧 추가해서 다시 올리겠습니다.

- 조교 최원태
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월19일 21:40    주제: 인용과 함께 답변

뼈대의 내용이 수정되었습니다.

수정사항은

* 초기 memory I0가 bottom을 가질 수 있다는 내용이 식에 추가되었고,
* equation을 map으로 바꾸는 과정에서의 버그를 수정했습니다.

파일 경로는 기존 경로와 동일한

http://ropas.snu.ac.kr/~soon/6.zip

에서 받으실 수 있습니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월20일 8:31    주제: 인용과 함께 답변

뼈대가 수정되었습니다.

수정 사항은

* update에서 {x, y, z} |-> v에 대해서 {x} |-> v, {y} |-> v, {z} |-> v가 update되도록 하였습니다.

* lookup_map에서는 lookup_map {x,y,z} = lookup_map{x} u lookup_map{y} u lookup_map{z} 이 되도록 하였습니다.


파일 경로는 기존 경로와 동일한

http://ropas.snu.ac.kr/~soon/6.zip

에서 받으실 수 있습니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월20일 10:39    주제: 인용과 함께 답변

* update 부분이 수정되었습니다.
원소의 개수가 1개인 집합 e.g. {x}에 대해서는 distructive update를 수행하고
그렇지 않은 경우 e.g. {x, y, z}에 대해서는 join을 하는 update를 수행합니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년4월21일 11:42    주제: 숙제 제출할 것들 알려드립니다. 인용과 함께 답변

숙제 제출 페이지를 열어두었습니다.

파일 3개를 업로드하기 바랍니다.

1. analyzer.ml
2. interval.ml
3. intset.ml
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2009) 시간대: GMT + 9 시간(한국)
페이지 11

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


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