이우석
가입: 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점
그 외 답안에서 발견된 경우들이 다양하여 조교 나름의 기준을 적용하였으니 받으신 점수에 이의 있으신분은 직접 조교에게 문의해주시기 바랍니다. |
|