게시판 인덱스

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

숙제 8에 대해서 알려드립니다. - 뼈대가 공개되었습니다

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



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

올리기올려짐: 2009년5월14일 17:57    주제: 숙제 8에 대해서 알려드립니다. - 뼈대가 공개되었습니다 인용과 함께 답변

숙제 8이 공지되었습니다.
http://ropas.snu.ac.kr/~kwang/4541.664A/09/hw8.pdf

기한은 5월 24일 일요일 자정까지 입니다.
_________________
- soon@ropas


공순호 가 2009년5월28일 16:35에 수정함, 총 3 번 수정됨
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
공순호



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

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

수업 시간에 교수님께서 말씀하신 것처럼 숙제 8에서 K언어의 의미에 변경이 있습니다.

K 프로그램의 WHILE, IF 문에서 조건식으로 쓰이는 e의 의미는

e>= 0 입니다.

e != 0 이 아닙니다.

착오 없으시기를 바랍니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
강지훈



가입: 2008년 9월 2일
올린 글: 291
위치: 302동 312-2호

올리기올려짐: 2009년5월14일 19:00    주제: 다음과 같은 경우에는 어떻게 하나요? 인용과 함께 답변

코드:
 if &k (k := 1) (k := 2)


그러니까 값이 아니라 주소가 들어가는 경우..

1) 이런건 없다고 가정해도 되는건가요?
2) true로 보나요?
3) false로 보나요?
_________________
강지훈
프로그래밍의 원리 조교

Jeehoon Kang
TA, Principles of Programming
위로
사용자 정보 보기 비밀 메시지 보내기
공순호



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

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

K 언어에서 의미가 정의되지 않는 프로그램을 작성하는 것이 가능합니다.

예를 들어 보면,

먼저 stmt에서

1. *x := exp 에서 x의 값이 주소가 아닌 경우

2. if, while 문에서 조건식 e가 정수식이 아닌 경우


그리고 exp에서,

3. 계산식 e + e, - e 에서 e의 값이 정수식이 아닌 경우

4. 초기화 되지 않은 변수를 이용하는 경우

5. *x에서 x의 값이 주소가 아닌 경우



이에 대해서

1,2 경우에 대해서는 stmt를 수행하면 bottom memory :
3,4,5에 대해서는 exp를 계산하면 bottom value :

가 나오는 것으로 정의합시다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
공순호



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

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

뼈대가 공개되었습니다.

http://ropas.snu.ac.kr/~ta/4541.664A/09/8.tar.gz

을 다운 받으시면 됩니다.

------

k.ml을 완성하고, k.ml만을 제출하면 됩니다.
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
공순호



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

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

read 의 요약 의미는 [-inf, +inf] 로 합니다.
_________________
- 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