120 likes | 129 Views
This course provides an overview of programming languages, including mathematical foundations, theory, type theory, language design, and implementation.
E N D
CSE-321 Programming LanguagesOverview 박성우 POSTECH March 3, 2015
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
CSE-321 Programming Langauges • Course webpagehttp://pl.postech.ac.kr/~gla/cs321
Grading • Assignments 60%Midterm 15%Final 20%Quiz 5% • 8 programming assignments • 4 written quizzes in class • 2 essay assignments • To get an A, you have to complete all assignments.
Discussion Board • telnet pl.postech.ac.kr, board 321 • Create an ID to ask questions.
Anonymous Feedback • http://pl.postech.ac.kr/~gla/feedback/
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.
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 a grade of F.
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>
Assignment 1 • Assignment 1 will be out tonight. • Due at 11:59pm, March 10 (next Tuesday) • Details of the instruction are all in the handout. • If you don't find your handin directory, email gla@postech.ac.kr. • You may program on Windows or Linux, but make sure that your program compiles! • Otherwise your program will not be graded.
작문 숙제 • ‘뛰어난 프로그래밍 능력이란’ 주제에 대한 작문 • A4 용지 1장+ 분량 • 3월 17일 화요일 수업시간에 제출 (2주)