1 / 21

CSE-321 Programming Languages Review

CSE-321 Programming Languages Review. 박성우. POSTECH June 10, 2010. 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

brigid
Download Presentation

CSE-321 Programming Languages Review

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

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!

More Related