cse-321 programming languages overview
DESCRIPTION
CSE-321 Programming Languages Overview. 박성우. POSTECH March 4, 2014. Course Outline. Topics to be covered: mathematical foundation of programming languages theory of programming languages type theory designing programming langauges implementing programming languages - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/1.jpg)
CSE-321 Programming Languages
Overview
POSTECH
March 4, 2014
박성우
![Page 2: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/2.jpg)
2
Course Outline• Topics to be covered:
– mathematical foundation of programming languages– theory of programming languages– type theory– designing programming langauges– implementing programming languages
• Topics not to be covered:– history of programming languages– comparison of various programming languages
![Page 3: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/3.jpg)
3
CSE-321 Programming Langauges
• Course webpagehttp://pl.postech.ac.kr/~gla/cs321
![Page 4: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/4.jpg)
4
Online Lectures• We will provide online lectures on the webpage.
• Recorded in 2012 or this year.
• Online lectures will be uploaded before class.
![Page 5: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/5.jpg)
5
Grading• Assignments 60%
Midterm 15%Final 20%Quiz 5%
• 8 or 9 programming assignments• 3 or 4 written quizzes in class
• To get an A, you have to complete all assignments.
![Page 6: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/6.jpg)
6
Discussion Board• telnet pl.postech.ac.kr, board 321• Create an ID to ask questions.
![Page 8: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/8.jpg)
8
Course Wiki• http://pl.postech.ac.kr/wiki/doku.php?id=cs321:start• ID: cs321, password: pl• Share your findings with your classmates!• You can also create a private ID.
![Page 9: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/9.jpg)
9
Objective Caml (OCaml)• Programming language for your assignments• We will use OCaml 4.01.• Read ‘The core language’ and ‘The module system’
sections in the OCaml manual.
![Page 10: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/10.jpg)
10
No Cheating• Read the document on the disciplinary policy.
• 2011– 5 students cheated (out of 35 students)
• We have developed clonechecker for OCaml.• We will check all your programs at the end of the
semester.
• Cheating will get you an F.
![Page 11: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/11.jpg)
11
programming.postech.ac.kr• Linux machine for your assignments.• OCaml 4.01 is already installed.
• Use your Hemos ID to log in.• Contact Hemos Team to request an ID.
• Your handin directory is located at:
/home/class/cs321/handin/<your Hemos ID>
![Page 12: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/12.jpg)
12
Assignment 1• Assignment 1 will be out tonight.
– Due at 11:59pm, March 11 (next Tuesday)– Details of the instruction are all in the handout.– If you don't find your handin directory, email
• You may program on Windows or Linux, but make sure that your program compiles!
• Otherwise your program will not be graded.
![Page 13: CSE-321 Programming Languages Overview](https://reader035.vdocuments.net/reader035/viewer/2022081603/568139bb550346895da15ae1/html5/thumbnails/13.jpg)
Welcome to CSE-321!