SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

CSE-321 Programming Languages Overview

karena avatar
karena
13 diapositives · 551 Views · Oct 23, 2014

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

CSE-321 Programming Languages Overview - slide 1
01 / 13CSE-321 Programming Languages Overview
1 / 17

Télécharger la présentation

CSE-321 Programming Languages Overview
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  1. CSE-321 Programming LanguagesOverview 박성우 POSTECH March 4, 2014

  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

  3. CSE-321 Programming Langauges • Course webpagehttp://pl.postech.ac.kr/~gla/cs321

  4. Online Lectures • We will provide online lectures on the webpage. • Recorded in 2012 or this year. • Online lectures will be uploaded before class.

  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.

  6. Discussion Board • telnet pl.postech.ac.kr, board 321 • Create an ID to ask questions.

  7. Anonymous Feedback • http://pl.postech.ac.kr/~gla/feedback/

  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.

  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.

  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.

  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>

  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 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.

  13. Welcome to CSE-321!