Download
cse 321 programming languages review n.
Skip this Video
Loading SlideShow in 5 Seconds..
CSE-321 Programming Languages Review PowerPoint Presentation
Download Presentation
CSE-321 Programming Languages Review

CSE-321 Programming Languages Review

117 Vues Download Presentation
Télécharger la présentation

CSE-321 Programming Languages Review

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  1. CSE-321 Programming LanguagesReview 박성우 POSTECH June 10, 2010

  2. Topics Covered • SML programming • Inductive proofs • -Calculus • Operational semantics • De Bruijn indexes • Simply-typed -calculus • Abstract machine • Subtyping, Object-orientation (Assignment 7) • Recursive type • Polymorphism • Type reconstruction, W-algorithm • Compilation (Assignment 8, Part 2)

  3. Assignments • A1: 34, 92.85 (SML programming 1) • A2: 34, 84.21 (SML programming 2) • A3: 34, 83.44 (SML programming 3) • A4: 33, 93.48 (Implementing -calculus) • A5: 34, 97.35 (Typechecking) • A6: 31, 54.55 (De Bruijn indexes) • A7: 26, 66.92 (Featherweight Java) • A8: ?, ? (Type reconstruction and translation)

  4. 2006 vs. 2007 vs. 2009 vs. 2010 • Assignment 4 (Implementing -calculus) • average 2006: 88.0 • average 2007: 88.57 • average 2009: 90.17 • average 2010: 93.48 Ã Up • Assignment 6 (De Bruijn indexes) • average 2007: 59.13 • average 2009: 56.12 • average 2010: 54.55 Ã Down • Assignment 7 (Featherweight Java) • average 2006: 71.30 • average 2007: 77.71 • average 2009: 68.13 • average 2010: 66.92 Ã Down

  5. Cheating? • 2006 • 7 students cheated (out of 46 students) • 2 suspicious cases

  6. 너네들은 기말시험 보고 우리들은 월드컵 보고 Final Exam • 3 hours • Closed book • Saturday (June 12) 7pm - 10pm • Starts at 6pm???

  7. Exam 20% * 2 Quiz 2.5% * 4 Assignment 50% A1, A2, A3 : 2.5% A4 : 5% A5: 2.5% A6: 10% A7: 10% A8 (Part 1): 15% A8 part 2: Extra 15% Grading policy 90+: A 80+: B 70+: C 60+: D 60-: F 절대 평가 오늘 수업 출석 점수 10%는??? ) 뻥이었음

  8. D C B A F If HW8 = 100, Final = 100

  9. Final • Mutable references [18 points] • Evaluation context and environment [28 points] • Subtyping [16 points] • Recursive types [12 points] + an extracredit question • Polymorphism [36 points] • Type reconstruction [40 points]

  10. B B+ A A+ C Three Questions in the Final(Extracredit) Grading policy를 바꿀 수 있음!!!

  11. Question 1

  12. PL 2006 • Assign Due 3시간 28분 전 (hako)

  13. PL 2006 • 조삼모사 (kaje)

  14. PL 2006 기말고사 23:10pm Assign 8 대마왕

  15. 뒤에서 도촬

  16. Question in PL 2006 Final

  17. Question 2 • 전원 T-shirt 입고 오면 ) ???

  18. Question 3

  19. Teaching staff Students PL 2010 Tekken Match VS + 용병 2명

  20. PL 2010 Tekken Match • 각 경기는 5판 3승제 • Teaching staff가 모두 탈락될 때까지 • Play한 학생 수에 따라서 grading policy가 바뀔 수 있음! • 학생 한명이 teaching staff 올킬 ) ??? Let's play!