게시판 인덱스

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

숙제 4 채점기준

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



가입: 2007년 9월 26일
올린 글: 72

올리기올려짐: 2010년4월20일 15:33    주제: 숙제 4 채점기준 인용과 함께 답변

숙제 4의 채점을 끝냈습니다. 각 언어 당 operational semantics 10점, transitional semantics 10점으로 다 맞으면 20점이고 언어가 4개이므로 총 만점은 80점입니다.

제출하신 과제는 이번 목요일 수업시간에 나누어 드릴 예정이며 클레임은 다음주 목요일까지 메일(wslee at ropas.snu.ac.kr)로 해주시거나, 연구실(302동 312-2호)로 방문하셔서 해주세요.

모범답안 : http://ropas.snu.ac.kr/~ta/4541.664A/10/answer/hw4.pdf
채점기준 :

  • 언어를 가상 머신의 언어로 변환하는 과정 없으면 -2점

  • 사소한 오류 ( ex) M을 M1으로 잘못씀, <img align="middle" src="http://ropas.snu.ac.kr/cgi-bin/mimetex.cgi?l%20\notin%20dom(M)"/> 빠뜨림. ) -1점

  • C---+(예외처리 언어) 에서 중복된 try 처리 안되면 -1점

  • semantic을 수학적으로 정의하지 않고 직관적으로 말로 기술 -2점.

  • 그 외 정의한 semantic이 올바르지 않다고 판단될 경우 case 별로 -2점


그 외 답안에서 발견된 경우들이 다양하여 조교 나름의 기준을 적용하였으니 받으신 점수에 이의 있으신분은 직접 조교에게 문의해주시기 바랍니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2010) 시간대: GMT + 9 시간(한국)
페이지 11

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


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