CS420 Compiler Design: Programming Language Implementation

이 광근 (kwang@cs.kaist.ac dot kr)

화/목 9:00am-10:30am, CS Room 1101

강의 자료

• 씰라부스
• SML/NJ's all manuals are on-line
  • at Adam
  • at Ropas center
• Notes on ML
  • KAIST CS420's Standard ML notes
  • Robert Harper's(@CMU) Introduction to SML
  • SML notes from Stanford CS109A
• tcoML: the source language
• tcoML's type system
• tcoML's type soundness and type inference
• SECK machine: the intermediate langauge, tcoML-to-SECK translation
• Optimizing compilation by source-level transformation
• Source-level transformation
• The SECK machine interpreter
• Compile-time analysis of run-time values
• tySECK: typed intermediate language
• k86: the target machine
• tySECK-to-k86 translation and optimizations
• All IN ONE: tcoML to k86

숙제

• 매주 목요일에 나가고, 다음주 목요일 24:00시 까지 컴퓨터로 제출한다
• 모든숙제는 exercise당 10점만점.
• 24시간이내 늦어지면 10% 감점. 24-48시간내에 늦어지면 20%감점. 그이상(1주일이내) 늦어지면 50%감점. 1주일 이후(168시간이후)에는 숙제를 받지않습니다.
• 1(due 3/18): ML 프로그래밍 I
• 2(due 4/1): ML 프로그래밍 II
• 3(due 4/3): lexical analysis
• 4(due 4/8): lambda parsing
• 5(due 4/22): lambda world
• 6(due 5/6): tcoML parser and interpreter
• 7(due 5/12): tcoML is type-sound
• 8(due 5/20): substitute, unify, and type-check!
• 9(due 5/27): tcoML-to-SECK and the millenium bug
• 10(due 6/3): compile-time analysis and alpha conversion

규칙

• 숙제: 60%, 프로젝트: 40%
• 프로젝트는 2인 1조 또는 1인 1조를 이루고, 조는 수업중에 무작위로 구성된다.
• 학기중 모든 공지사항과 질문/답변은 학과 BBS의 course/cs420을 중심으로 이루어지고, 기타 자료는 여기 비치된다.

ML 자료

읽을 꺼리

• 제대로 디자인된 프로그래밍 언어의 쓰임새
• 정식으로 프로그램하는 재미

책

• Modern Compiler Implementation in ML Andrew Appel, Cambridge University Press, 1998 (학교서점)
• Compilers: Principles, Techniques, and Tools Aho, Sethi, and Ullman, Addison-Wesley
• The Little MLer, Matthias Felleisen and Daniel P. Friedman, MIT Press, 1998
• ML for the Working Programmer. L. C. Paulson. Cambridge University Press,1996. (2nd edition)
• Elements of ML Programming. Jeffrey D. Ullman. Prentice-Hall, 1994.
• Amazon 책방

관련과목

• CMU 15-411 Compiler Design
• Princeton CS441 Programming Languages

---

이 광근