게시판 인덱스

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

HW7 궁금한 점...

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



가입: 2009년 3월 13일
올린 글: 9

올리기올려짐: 2009년5월12일 22:03    주제: HW7 궁금한 점... 인용과 함께 답변

정확히 이해를 못한건지;;; 아리송한 게 있습니다.

1. leq의 정확한 의미가 무엇인가요?
FlatDomain의 leq를 보면,
let leq x y = match (x, y)
with (BOT, _) -> true
| (_, TOP) -> true
| (ELT a, ELT b) -> a=b
| _ -> false
라 leq TOP TOP = true로 partial order를 나타내는걸로 이해했습니다.
그런데 ProductDomain에서는,
let leq x y = match (x,y)
with (BOT,_) -> true
| (TOP,_) -> false
| (_,BOT) -> false
| (_,TOP) -> true
라 leq TOP TOP = false (맞나요?)가 되어 혼란스럽습니다.

2. FunDomain에서 TOP에 대한 update, map, fold 함수의 의미?
FunDomain의 update, map, fold를 TOP인 경우 어떻게 해야 하는지 모르겠습니다.
PowersetDomain인 경우 A.all()를 사용하던데,
FunDomain의 (A: SET) (B: DOMAIN)의 모든 가능한 조합을 all()로 보고 구현해야 하나요?

3. Interval domain에서 BOT elt에 대한 l, u 함수 동작?
Interval domain에서 l : elt -> bound인데
l BOT 인 경우 bound(Z of int | Pinfty | Ninfty)로 어떻게 표시해야 하나요?

감사합니다.
_________________
프로그래밍 분석 2009 Spring 수강하는 학생입니다.
위로
사용자 정보 보기 비밀 메시지 보내기
공순호



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

올리기올려짐: 2009년5월13일 2:11    주제: 인용과 함께 답변

1. leq

leq는 partial order 을 의미합니다.

ProductDomain에서 leq의 정의를 다음과 같이 바꾸시기 바랍니다.

코드:

   let leq x y = match (x,y)                                                 
              with (BOT,_) -> true                                           
             | (_,BOT) -> false                                             
             | (_,TOP) -> true                                               
             | (TOP,_) -> false                                             
             | ...


2. FunDomain에서 TOP에 대한 update, map, fold의 의미

오늘 오전에 답변 드리겠습니다.


3. l BOT = ?

Undefined exception을 발생시키면 됩니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
공순호



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

올리기올려짐: 2009년5월13일 13:49    주제: 인용과 함께 답변

2. FunDomain에서 TOP에 대한 update, map, fold의 의미

TOP과 BOT의 의미를 다음과 같이 생각하면 됩니다.



참고로 PowersetDomain의 경우에도
TOP과 BOT의 의미를 다음과 같이 생각하면 됩니다.



수행 결과로 나온 TOP을 ELT(A.all ())로 변환하거나,
혹은 그 반대를 하는 연산을 수행할 필요는 없습니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
jhwon



가입: 2009년 3월 13일
올린 글: 9

올리기올려짐: 2009년5월13일 16:27    주제: 인용과 함께 답변

감사합니다 ^^
_________________
프로그래밍 분석 2009 Spring 수강하는 학생입니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 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