게시판 인덱스

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

malloc이 만드는 메모리 타입에 대해서

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



가입: 2006년 5월 6일
올린 글: 1

올리기올려짐: 2006년6월17일 9:15    주제: malloc이 만드는 메모리 타입에 대해서 인용과 함께 답변

처음 과제가 나올 때는 int 타입으로 하라고 말씀하셨던 것 같습니다.
malloc 5 하면 int형으로 5개 만드는 식으로요...

그런데 숙제를 하다 보니 자연스럽게 (올려주신 숙제6 모범답안 기준으로) Itv 타입이 되어야 할 것 같다는 생각이 드네요..

예를 들어 다음과 같은 코드에서 x=[1,5]이면

....
k := malloc 1;
*k := x;
...

k에 할당된 메모리 공간의 타입이 Itv이어야 x의 범위가 *k에 들어갈 것 같습니다.. 제가 맞게 생각하고 있는 것일까요??
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기
진민식



가입: 2006년 3월 21일
올린 글: 67

올리기올려짐: 2006년6월17일 23:03    주제: 인용과 함께 답변

인용:
처음 과제가 나올 때는 int 타입으로 하라고 말씀하셨던 것 같습니다.
malloc 5 하면 int형으로 5개 만드는 식으로요...

integer를 저장하는 array이란 말은 concrete한 semantics에서의
예기 입니다.

인용:
그런데 숙제를 하다 보니 자연스럽게 (올려주신 숙제6 모범답안 기준으로) Itv 타입이 되어야 할 것 같다는 생각이 드네요..


abstract semantics에서는 요약을 해야 하는데, array의 한 element의
값을 interval로 요약하면 위의 경우가 될 것 입니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2006) 시간대: GMT + 9 시간(한국)
페이지 11

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


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