이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
jhwon
가입: 2009년 3월 13일 올린 글: 9
|
올려짐: 2009년4월23일 12:44 주제: while은 어찌 할 수가 없군요;; |
|
|
Restrict가 exp를 만족하는 값만 넘겨주는 게 아니라
기존 state를 그대로 넘겨주기 때문에 while문에서 대부분 무한루프를 도네요;;
맞는 거 같긴 한데 왠지 찝찝하군요 ㅋ _________________ 프로그래밍 분석 2009 Spring 수강하는 학생입니다. |
|
위로 |
|
|
임경영
가입: 2009년 4월 5일 올린 글: 27
|
올려짐: 2009년4월23일 14:31 주제: |
|
|
저도 해보고 있는데..
while에 조건문(<나 >요런거가)이 들어가는게 아니라서..
대부분 무한 루프를 도는거 같아용
변수를 여러개 쓰면.. 변수를 쓰는만큼 돌게는 할 수 있기는 한거 같은데..
대부분은 힘든거 같아요 ^^;; |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년4월23일 19:42 주제: |
|
|
restrict에서 exp를 만족하는 state만을 거르지 않기 때문에
결과적으로 모든 while loop이 "while true"와 같이 분석되게 됩니다.
while loop의 body를 한번 지나간 이후의 메모리가 fixed point에 도달했다면
분석이 종료되겠지만, 그렇지 않은 경우에는 fixed point에 도달할 때까지 분석이 계속되게 됩니다.
jhwon 씀: |
맞는 거 같긴 한데 왠지 찝찝하군요 ㅋ
|
틀린 것은 아니지만, 원하는 만큼 정확하지 않은 분석 결과에 대한 반응이라고 생각됩니다.
이번 숙제는 지난 숙제에서 세운 방정식을 (다소 부정확하더라도) 푸는 것에 초점이 있다고 생각됩니다.
아마도 남은 숙제에서 품으신 찝찝함을 해결하실 수 있으실 것입니다. _________________ - soon@ropas |
|
위로 |
|
|
|