게시판 인덱스

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

HW6 과제하다가 질문 ^^

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



가입: 2009년 4월 5일
올린 글: 27

올리기올려짐: 2009년4월22일 23:05    주제: HW6 과제하다가 질문 ^^ 인용과 함께 답변

오늘도 질문부터 하네요 ㅠㅠ

HW6과제를 정리하면

fixpoint를 구하는데
sign, interval, intset domain등등에서 구해보는게 문제이고
sign domain은 구현되어 있지만 interval과 intset도 구현하도록 되어있네요

몇가지 보다가 이해가 안가서 질문 남겨봅니다.

문법적인것..
1. @+ 는 어떤 의미인가요;;
- 구글등등에서 검색해봤는데 찾기 쉽지 않네요

2. let lb(l,c) = l in 같은 문장에서 맨뒤에 in이 붙는 것은 어떤 의미인가요?


뼈대에 관련된 질문
1. evalExp state exp와 evalRhs sol rhs 는
어떤 명령을 수행하는 함수인가요?

- evalExp state exp : state와 exp를 받아서 state를 내보내도록?
- evalRhs sol rhs : solution과 rhs를 받아서.. .. state?를 내보내는건가용?

2. 각 domain에서 정의되는
add t1 t2의 경우 덧셈은 말하는 것인가요?
lub t1 t2의 경우 둘을 포함하는 값인 것 같은 맞는지요? (t1 or t2)

3. sign domain에서는
S_BOT와 BOT를 따로 정의 했는데..
왜 그렇게 했는지에 대해서는 아직 고민중인데 힌트 주실수 없으신가용?
sign bottom과 bottom의 차이가 잘 구분이 안되네요 ^^;;
위로
사용자 정보 보기 비밀 메시지 보내기
공순호



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

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

임경영 씀:

1. @+ 는 어떤 의미인가요;;
- 구글등등에서 검색해봤는데 찾기 쉽지 않네요


ocaml에서는 infix operator를 사용자가 정의할 수 있게 되어있습니다.
예를 들어서 다음과 같이 하면
코드:

let (+++) x y = x + y

+++ operator를 정의하고 이를 다음과 같이 쓸 수 있습니다.
코드:

3 +++ y


+@는 뼈대에서 정의한 operator입니다. 다음과 같이 정의합니다.
코드:

let (@+) eq term = VMap.add (fst term) (snd term) eq in                                                                                                           


---------------------------------

임경영 씀:

2. let lb(l,c) = l in 같은 문장에서 맨뒤에 in이 붙는 것은 어떤 의미인가요?

일반적인 let ... in 구문에서의 in을 나타내는 것입니다.

---------------------------------

임경영 씀:

1. evalExp state exp와 evalRhs sol rhs 는
어떤 명령을 수행하는 함수인가요?

- evalExp state exp : state와 exp를 받아서 state를 내보내도록?
- evalRhs sol rhs : solution과 rhs를 받아서.. .. state?를 내보내는건가용?

evalExp, evalRhs의 type은 문제 스펙에 명시되어 있습니다.
인용:

evalExp : state -> exp -> v
evalRhs : solution -> rhs -> state


---------------------------------

임경영 씀:

2. 각 domain에서 정의되는
add t1 t2의 경우 덧셈은 말하는 것인가요?
lub t1 t2의 경우 둘을 포함하는 값인 것 같은 맞는지요? (t1 or t2)


* add는 각 도메인의 두 값을 더한 결과를 돌려주는 것입니다.
* lub는 least upper bound를 의미합니다. t1 or t2가 아닐 수 있습니다.

---------------------------------

임경영 씀:

3. sign domain에서는
S_BOT와 BOT를 따로 정의 했는데..
왜 그렇게 했는지에 대해서는 아직 고민중인데 힌트 주실수 없으신가용?
sign bottom과 bottom의 차이가 잘 구분이 안되네요 ^^;;


코드:

module SignCPO =
struct
    type sign = S_BOT | S_PLUS | S_MINUS | S_ZERO | S_TOP
    type t = BOT | SIGN of sign | LOC of LocCPO.t | TOP


이 부분에 대한 질문인데요, 다음 그림에서

S_BOT은 을 의미하고, BOT은 을 의미합니다.
_________________
- 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