Programming Languages, Autumn 2006

Lecturer

Prof. Ting-Lu Huang (黃廷祿) <tlhuang@cs.nctu.edu.tw> Office: EC519

Teaching Assistant

Li-Wen Hsu (許立文) <lwhsu@csie.nctu.edu.tw> Laboratory: EC329

Time & Place

Mon, 10:10~12:00, Wed. 09:00~10:00, ED202

Text book

Programming Languages: design and implementation, 4th ed., Pratt and Zelkowitz, Prentice-Hall 2001

Newsgroup

• NNTP: cs.course.programming-language
• BBS: telnet://bbs.cs.nctu.edu.tw : CS-ProgLang

Announcements

• Jan 19 :
  
  • Final Exam Answer is available
• Jan 08 :
  
  • Final exam 10:10 am-12:00 noon. Open book.
• Dec 12 :
  
  • Mid-term exam scores adjustment : f(x) = 10 * (squareroot of x)
• Dec 06 :
  
  • Homework #3 Answer is available.
  • Newsgroup cs.course.programming-language created
• Dec 05 :
  
  • According to schedule of NCTU, there is no class on Dec. 06
• Dec 04 :
  
  • Syllabus (after midterm)
  • Midterm Answer is available (answer to problem 9 would be available later)
• Nov 29 :
  
  • Homework #4: CYK-Algorithm and GCD in ML, Due: Dec. 20
• Nov 22 :
  
  • Supplement Updated - Introduction to SML/NJ
• Nov 15 :
  
  • Homework #3: [Kirkerud P.96] Exercise 5.7.4 Due: Nov. 20, in class
  • Midterm Exam:
    [Pratt] chapters 1-4
    [Kirkerud] (up to P.185): skip chapters: 1,3,7 and section 8.3.
  • Homework #2 Answer is available.
• Nov 08 :
  
  • Homework #1 Answer is available.
• Nov 06 :
  
  • Homework #2: Due: Nov. 13 in class
  • Midterm Exam: Nov. 20, in class, open books (both books)
    Skip sect. 8.3 of Kirkerud's book.
• Oct 23 :
  
  • Homework #1: Proof Proposition 5-1 (P.80) Due: Oct. 30 in class
• Oct 18 :
  
  • Result of Quiz 1
• Oct 05 :
  
  • New Supplement - Turing Awards in PL
• Oct 04 :
  
  • According to latest news released by NCTU, there will be no class on Oct. 14
• Oct 02 :
  
  • New Supplement - Introduction to SML/NJ
• Sep 27 :
  
  • New Supplement - PLsemanticCh2.pdf
• Sep 25 :
  
  • 請同學速至 EC414 登記購買程式語言 class notes. (NT300元)
• Sep 11 :
  
  • Reading: Chapter1 and Chapter2

• Homework #1 (Due: Oct. 30)
  1. [Kirkerud P.80] Proof Proposition 5-1
  • Answer
• Homework #2 (Due: Nov. 13)
  1. Homework #2
  • Answer
• Homework #3 (Due: Nov. 20)
  1. [Kirkerud P.96] Exercise 5.7.4
  • Answer
• Homework #4 (Due: Dec. 20)
  1. CYK in ML (90%)
  2. GCD in ML (10%)
  • CYK Algorithm supplement
  • You can write CYK in any other language with an automatic discount of 30% off, i.e., maximum 63%.
  • Weighting of hw4 equals 3 regular homeworks.

Exams

• Solution of Midterm

Scores

Score

Supplements

• Standard ML of New Jersey
• PLsemanticCh2.pdf
• Introduction to SML/NJ
• Turing Awards in PL
  1. Alan Kay Citation Voice
  2. Peter Naur Citation Voice

Last Update: Fri Jan 19 13:15:18 CST 2007