cse-321 programming languages review postech june 10, 2010 박성우
TRANSCRIPT
![Page 1: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/1.jpg)
CSE-321 Programming Languages
Review
POSTECH
June 10, 2010
박성우
![Page 2: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/2.jpg)
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)
![Page 3: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/3.jpg)
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)
![Page 4: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/4.jpg)
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
![Page 5: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/5.jpg)
5
Cheating?• 2006
– 7 students cheated (out of 46 students)– 2 suspicious cases
![Page 6: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/6.jpg)
6
Final Exam• 3 hours• Closed book• Saturday (June 12) 7pm - 10pm
• Starts at 6pm???
너네들은 기말시험 보고우리들은 월드컵 보고
![Page 7: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/7.jpg)
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% 는 ???
) 뻥이었음
![Page 8: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/8.jpg)
8
If HW8 = 100, Final = 100
예상 점수 분포
0
2
4
6
8
10
12
0 10 20 30 40 50 60 70 80 90
총점
A
BCD
F
![Page 9: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/9.jpg)
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]
![Page 10: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/10.jpg)
Three Questions in the Final(Extracredit)
Grading policy 를 바꿀 수 있음 !!!
예상 점수 분포
0
2
4
6
8
10
12
0 10 20 30 40 50 60 70 80 90
총점
A+
AB+B
C
![Page 11: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/11.jpg)
11
Question 1
![Page 12: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/12.jpg)
12
PL 2006• Assign Due 3 시간 28 분 전 (hako)
![Page 13: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/13.jpg)
13
PL 2006• 조삼모사 (kaje)
![Page 14: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/14.jpg)
14
PL 2006 기말고사
Assign 8 대마왕
23:10pm
![Page 15: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/15.jpg)
15
뒤에서 도촬
![Page 16: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/16.jpg)
16
Question in PL 2006 Final
![Page 17: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/17.jpg)
17
Question 2
• 전원 T-shirt 입고 오면 ) ???
![Page 18: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/18.jpg)
![Page 19: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/19.jpg)
19
Question 3
![Page 20: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/20.jpg)
20
PL 2010 Tekken MatchTeaching staff Students
VS
+ 용병 2 명
![Page 21: CSE-321 Programming Languages Review POSTECH June 10, 2010 박성우](https://reader035.vdocuments.mx/reader035/viewer/2022062712/56649c765503460f9492a6f1/html5/thumbnails/21.jpg)
21
PL 2010 Tekken Match• 각 경기는 5 판 3 승제• Teaching staff 가 모두 탈락될 때까지• Play 한 학생 수에 따라서 grading
policy 가 바뀔 수 있음 !• 학생 한명이 teaching staff 올킬
) ???
Let's play!