게시판 인덱스

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

프로젝트 3번 check_cmd 질문입니다.

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2012)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
이대근



가입: 2012년 10월 26일
올린 글: 5

올리기올려짐: 2012년12월21일 23:26    주제: 프로젝트 3번 check_cmd 질문입니다. 인용과 함께 답변

조교님께서 올려주신 테스트셋 중 의문 사항이 있습니다.


코드:

(*분석은 유한시간이어야함, true*)
    x has read ;
    t has 101;
    y has x+t;
lp: say y;
    s has 1;
    y has y+s;
    goto lp on y;
    x has z+w;
    say x



아래에서 두 번째 줄에 "x has z+w;" 은 비록 무한 루프에 빠지는 바람에 실행되지 않지만

똑똑한 실행기라면 컴파일 시간에 에러를 잡아내어 false를 출력해야하지 않을까요.


Rolling Eyes
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



가입: 2009년 9월 18일
올린 글: 602

올리기올려짐: 2012년12월21일 23:55    주제: 인용과 함께 답변

우리가 잡아내고 싶은것은 " 실제 실행중에 [어떤특징]을 가진 에러가 일어날 수 있는가 없는가" 입니다.

제대로 실행된다면 의미없는 코드를 그대로 두고싶을수도 있지 않나요?

의미없는코드가 존재하면 컴파일을 거부한다. 이것은 또다른 목표입니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.210 Principles of Programming (Fall 2012) 시간대: GMT + 9 시간(한국)
페이지 11

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


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