게시판 인덱스

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

검색 결과 5 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: malloc에서 할당된 메모리의 범위에 대해서...
윤주영

답변: 1
조회: 5774

올리기게시판: 4541.664A Program Analysis (Spring 2006)   올려짐: 2006년6월15일 21:56   주제: malloc에서 할당된 메모리의 범위에 대해서...
malloc (readint) 등과 같이 쓰면 할당된 메모리의 사이즈가 음수가 될 수 있습니다. 이경우 프로그램이 정상적으로 동작한 경우라면 readint값이 양수이어야 ...
  주제: project problem1에 대한 질문입니다.
윤주영

답변: 1
조회: 4795

올리기게시판: 4541.664A Program Analysis (Spring 2006)   올려짐: 2006년6월15일 14:57   주제: project problem1에 대한 질문입니다.
올려주신 hw6 솔루션을 수행해보니 while문의 경우 첫 수행시의 메모리와 widening 및 narrowing 후의 메모리를 출력해주는것 같습니다.
요약된 메모리 mem_hat ...
  주제: 숙제 질문입니다.
윤주영

답변: 4
조회: 6160

올리기게시판: 4541.664A Program Analysis (Spring 2006)   올려짐: 2006년5월30일 18:35   주제: 숙제 질문입니다.
에러를 고려하여 분석한다는건 어떤 의미인가요?
예를들어 에러가 발생하는 명령은 없었던 것으로 간주하고 진행하라는 의미인가요?
만약 if 문의 조 ...
  주제: HW6 결과물에 대한 질문입니다.
윤주영

답변: 6
조회: 7361

올리기게시판: 4541.664A Program Analysis (Spring 2006)   올려짐: 2006년5월27일 14:55   주제: HW6 결과물에 대한 질문입니다.
4번숙제에서도 헷갈렸던 부분입니다만,

x:=1;
x:=2

위와같은 프로그램이 주어졌다고 하면, 프로그램의 진행상에서는

cmd mem_hat
x:=1 x->[1,1]
x:=2 ...
  주제: Home Exam에서 problem2에 대한 질문
윤주영

답변: 1
조회: 4832

올리기게시판: 4541.664A Program Analysis (Spring 2006)   올려짐: 2006년5월8일 22:28   주제: Home Exam에서 problem2에 대한 질문
문제에서 요구하는 범위가 어떤것인지 잘 이해가 되지 않습니다.
+hat, -hat, assign_hat 을 새로 정의하고 이들이 안전하게 요약되었음을 보인후, 이들을 ...
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


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