Stephen A. Edwards Columbia University Crown
  COMS W4115
Programming Languages and Translators
Spring 2003
Home Project
 General Information
  Class meets Tuesdays and Thursdays, 11:00am-12:15pm, in Room 535 of the Seeley W. Mudd Building
  Homepage Class web board
 Staff
name email office hours location
Prof. Stephen Edwards sedwards@cs.columbia.edu T, Th 4:00-5:00 462 CSB
Genevive Alelis gca2001@columbia.edu T 12:30-2:30 TA Room
Peter Davis ptd7@cs.columbia.edu Th 4:30-6:30 TA Room
Michael Locasto mel2008@columbia.edu T, Th 12:30-1:30 522 CSB
Noel Vega nv65@columbia.edu None
  Please begin email subject lines with [COMS 4115]
 Photo
  Did anybody want to be here?
 Overview
  The goal of PLT is to teach you both about the structure of computer programming languages and the basics of implementing compilers for such languages.

The course will focus mostly on traditional imperative and object-oriented languages, but will also cover functional and logic programming, concurrency issues, and some aspects of scripting languages. Homework and tests will cover language issues. You will design and implement a language of your own design in a semester-long group project.

While few of you will ever implement a full commercial compiler professionally, the concepts, techniques, and tools you will learn have broad application.

 Prerequisites
  COMS W3157 Advanced Programming: You will be dividing into teams to build a compiler, so you need to have some idea how to keep this under control
  COMS W3261 Computability and Models of Computation: You will need an understanding of formal languages and grammar to build the parser and lexical analyzer.
  COMS W3824 Computer Organization: We will be generating assembly code, so you need to understand how to write it.
 Schedule
Date  Lecture  Notes  Reading  Due 
January 21   Intro. to Languages   PDF File (for Acrobat) PDF File (for Acrobat)   Ch. 1, 2      
January 23   Language Design   PDF File (for Acrobat) PDF File (for Acrobat)        
January 27   Language Processors   PDF File (for Acrobat) PDF File (for Acrobat)        
January 30   Syntax and Parsing   PDF File (for Acrobat) PDF File (for Acrobat)   Ch 3, 4      
February 4   "          
February 6   Guest lecture on awk          
February 11   ASTs   PDF File (for Acrobat) PDF File (for Acrobat)   Ch. 4      
February 13   ANTLR   PDF File (for Acrobat) PDF File (for Acrobat)        
February 18   Names, Scope, and Bindings   PDF File (for Acrobat) PDF File (for Acrobat)     White Paper    
February 20   "       HW1 PDF File (for Acrobat)    
February 25   Types   PDF File (for Acrobat) PDF File (for Acrobat)   Ch. 6      
February 27   "          
March 4   Midterm 1          
March 6   Guest Lecture          
March 11   Control-flow   PDF File (for Acrobat) PDF File (for Acrobat)        
March 13   "          
March 18   Spring Break  
March 20   Spring Break  
March 25   Code Generation   PDF File (for Acrobat) PDF File (for Acrobat)   Ch. 8, 9      
March 27   A Small Compiler   PDF File (for Acrobat) PDF File (for Acrobat)   Ch. 11, 12   LRM    
April 1   Getting it right   PDF File (for Acrobat) PDF File (for Acrobat)        
April 3   Logic Programming   PDF File (for Acrobat) PDF File (for Acrobat)        
April 8   Concurrency   PDF File (for Acrobat) PDF File (for Acrobat)        
April 10   "          
April 15   Functional Programming   PDF File (for Acrobat) PDF File (for Acrobat)        
April 17   "          
April 22   Scripting Langauges   PDF File (for Acrobat) PDF File (for Acrobat)        
April 24   Review for Final   PDF File (for Acrobat) PDF File (for Acrobat)     HW2 PDF File (for Acrobat)    
April 29   Review of HW2          
May 1   Final Exam          
May 13   Project Presentations   9-12   535 Mudd   Final Report    
 Required Text
  Cover of the Dragon Book Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman.
Compilers: Principles, Techniques, and Tools.
Addison-Wesley, 1985.

Long the standard text on compilers, the ``dragon book'' is now a little dated. It remains one of the more readable books on the topic, and is written by our own Prof. Al Aho.
 Optional Texts
  Cover of Programming Language Pragmatics Michael L. Scott.
Programming Language Pragmatics
Morgan Kaufmann, 2000

A broad-minded book about languages in general; less on compiler construction, but speaks much more about wider language issues.
  Cover of Appel Andrew W. Appel.
Modern Compiler Implementation in Java.
Cambridge University Press, 1998.

This focuses much more on compiler construction than Scott.
  Cover of Muchnick Steven S. Muchnick
Advanced Compiler Design and Implementation.
Morgan Kaufmann, 1997.

A very extensive book on many aspects of compiler design. Starts about halfway through Appel and goes much farther. Recommended for serious compiler hackers only.
 Class Policies
  Grading 40 % Project
25 % Midterm 1
25 % Midterm 2
10 % Homework
  Collaboration You will collaborate with your own small group on the programming project, but you may not collaborate with others on homeworks. Groups may share ideas about the programming assignments, but not code. Any two groups found submitting similar code will receive zero credit for the whole assignment, and repeat offenses will be referred to the dean. See Columbia academic policies for more details.
  Late Policy Zero credit for anything handed in after it is due without explicit approval of the instructor.

Copyright © 2003 Stephen A. Edwards Updated Fri May 16 22:25:53 EDT 2003 All Rights reserved