이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
|
위로 |
|
|
공순호
가입: 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 |
|
위로 |
|
|
|