이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김석현
가입: 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로 요약하면 위의 경우가 될 것 입니다. |
|
위로 |
|
|
|