We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byNelson Randolph
Modified about 1 year ago
CSE-321 Programming Languages Review 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)
vs vs vs Assignment 4 (Implementing -calculus) –average 2006: 88.0 –average 2007: –average 2009: –average 2010: 93.48Ã Up Assignment 6 (De Bruijn indexes) –average 2007: –average 2009: –average 2010: 54.55Ã Down Assignment 7(Featherweight Java) –average 2006: –average 2007: –average 2009: –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 If HW8 = 100, Final = 100 A BC D F
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]
Three Questions in the Final (Extracredit) Grading policy 를 바꿀 수 있음 !!! A+ AB+ B C
11 Question 1
12 PL 2006 Assign Due 3 시간 28 분 전 (hako)
13 PL 2006 조삼모사 (kaje)
14 PL 2006 기말고사 Assign 8 대마왕 23:10pm
15 뒤에서 도촬
16 Question in PL 2006 Final
17 Question 2 전원 T-shirt 입고 오면 ) ???
19 Question 3
20 PL 2010 Tekken Match Teaching staffStudents VS + 용병 2 명
21 PL 2010 Tekken Match 각 경기는 5 판 3 승제 Teaching staff 가 모두 탈락될 때까지 Play 한 학생 수에 따라서 grading policy 가 바뀔 수 있음 ! 학생 한명이 teaching staff 올킬 ) ??? Let's play!
Types and Programming Languages Lecture 15 Simon Gay Department of Computing Science University of Glasgow 2006/07.
Motion and Force A. Motion 1. Motion is a change in position 2. Reference points are necessary.
Transposing F to C Transposing F to C Andrew Kennedy & Don Syme Microsoft Research Cambridge, U.K.
CS3518 Languages and Computability Kees van Deemter Lectures Monday14:00MT6 Tuesday11:00KC T2 Tutorials/Practicals Tuesday13:00-15:00.
WELCOME AP Calculus AB Mr. Smith. Basic Information AP Calculus AB Mr. Smith Room S306, office is S315
Engineering H192 - Computer Programming Gateway Engineering Education Coalition Lect FXP. 1Winter Quarter Course Wrap Up and Final Review Topics Lecture.
AP CALCULUS AB With Mrs. Hoffert Course Expectations BE HERE! BE ON TIME BE PREPARED –B–B–B–Book –N–N–N–Notebook –P–P–P–Pen/pencil –G–G–G–Graphing.
Type Inference David Walker COS 320. Criticisms of Typed Languages Types overly constrain functions & data polymorphism makes typed constructs useful.
Slide 1 Vitaly Shmatikov CS 345 Programming Languages
CS 102 Computers In Context (Multimedia) 01 / 21 / 2009 Instructor: Michael Eckmann.
Types and Programming Languages Lecture 13 Simon Gay Department of Computing Science University of Glasgow 2006/07.
Assessment in AP and IB English Exams in Junior Year English Regents Exam English Regents Exam May: AP English Literature Exam May: AP English.
If you view this talk in PowerPoint, turn on comments (View | Comments in PowerPoint) to read remarks made during the talk but not included on the slide.
1 Note content copyright © 2004 Ian Sommerville. NU-specific content copyright © 2004 M. E. Kabay. All rights reserved. Configuration Management IS301.
Chapter 22 Implementing lists: linked implementations.
BREVET DES COLLEGES PRESENTATION. WHAT IS THE BREVET ? Final exam in grade 9 th French National exam Three parts : Continuing assessment (220 points )
CS61A Lecture 24 Infinite Sequences Jom Magrotker UC Berkeley EECS July 30, 2012.
Introduction to C++ An object-oriented language Unit - 01.
Kathleen Fisher cs242 Reading: “Concepts in Programming Languages”, Chapter 6.
SLO Course Assessment in 5 Easy Steps Vivian Mun, Ed.D.
Sml2java a source to source translator Justin Koser, Haakon Larsen, Jeffrey Vaughan PLI 2003 DP-COOL.
Mr. Bill Keller Chemistry Voice Mail Box address: Office hours for tutoring and make –ups:
CS0007: Introduction to Computer Programming Arrays: Higher Dimensional Arrays.
Make sure you know the day and time of the final exam for this section of Math 110: Day: ______ Date:______ Time: ______ to _______ All Math 110 finals.
Implementation of PBL program for 2 nd year students in 2007 Presented by: Dr. Mirwais Sorosh Lecturer, KMU Human Anatomy Dept.
Types and Programming Languages Lecture 1 Simon Gay Department of Computing Science University of Glasgow 2006/07.
7-Jan-14 Using Jeroo Dianne Meskauskas. Overview In this presentation we will discuss: What is Jeroo? Where did it come from? Why use it? How it works.
Pol Sc 321 Exam Dec 8 2 pm, Saturday,December 8th, Nicholson hall room 156 Worth 40 percent 2 hour exam, choice of three answers out of 6 or 7 questions.
Providing feedback with SETU Student Evaluation of Teaching and Units (SETU)
Types and Programming Languages Lecture 7 Simon Gay Department of Computing Science University of Glasgow 2006/07.
© 2016 SlidePlayer.com Inc. All rights reserved.