BU CAS CS 320 Fall 2014

BU CAS Computer Science 320
Concepts of Programming Languages

lectures:
   Tue. & Thu., 12:30 - 2 PM in CAS B12
   lecturer: Andrei Lapets (lapets@bu.edu, MCS 178)
   OH: Tue. 5 - 6:30 PM; Thu. 2 - 3:30 PM (CS lab)
sections:
   Wed., 10 AM - 11 AM in KCB 103
   Wed., 11 AM - 12 PM in KCB 103
   Wed., 12 PM - 1 PM in MCS B23
   Wed., 3 PM - 4 PM in COM 215
   teaching fellow: Zhiqiang Ren (section notes)
   OH: Wed. 4 - 5:30 PM; Thu. 4:30 - 6 PM (CS lab)

   course assistant: Eric Dunton
   OH: Thu. 5 - 7 PM (CS lab)
for questions and discussion:
cascs320a1-l@bu.edu (course mailing list)
Q&A page on Piazza

homework assignment policies:
   submission: by 11:59 PM on due date (gsubmit)
   collaboration: discussion only; list all collaborators
   late policy: -10 points per day, 4 days maximum

course grade:
50% homework + 50% max{end, avg{mid, end}}

course materials:
   lecture notes (w/ assignments & review problems)
   assignment #1
   assignment #2
   assignment #3
   midterm
   assignment #4
   assignment #5
   take-home project

software used in the course:
Python 3.3+
Haskell Platform

other reading materials (not required):

   Modern Compiler Implementation.
     Andew W. Appel.

   Haskell: the Craft of Functional Programming.
     Simon Thompson.

academic conduct code

2014-09-02	lecture: languages	lecture notes overview, motivation, & background defining programming languages sets of character strings regular expressions sets of token sequences syntax and BNF notation
2014-09-04	lecture: languages	lecture notes examples with regular expressions more on syntax and BNF notation concrete and abstract syntaxes abstract syntax trees lexing and parsing
2014-09-09	lecture: parsing	lecture notes more on parsing algorithms recursive descent parsers predictive backtracking
2014-09-11	lecture: interpretation & compilation	lecture notes more on parser implementation left factoring elimination of left recursion operational semantics inference rules evaluation of expressions
2014-09-15 11:59 PM EDT	assignment	assignment #1 due
2014-09-16	lecture: interpretation & compilation	lecture notes implementing interpreters evaluation of expressions execution of statements control flow environments/contexts side effects
2014-09-18	lecture: interpretation & compilation	lecture notes execution of statements environments/contexts with variable assignment with looping constructs
2014-09-23	lecture: interpretation & compilation	lecture notes compilation history and background formal definition interpretation vs. compilation example of a machine language
2014-09-25	lecture: interpretation & compilation	lecture notes machine language programs compiling expressions
2014-09-29 11:59 PM EDT	assignment	assignment #2 due first day late penalty waived late penalty starts at 20 points
2014-09-30	lecture: interpretation & compilation	lecture notes compiling expressions with variables compiling statements with assignment with procedures
2014-10-02	lecture: interpretation & compilation	lecture notes register allocation interference graph graph coloring single static assignment compiler optimizations loop unrolling constant folding
2014-10-07	lecture: interpretation & compilation	compiling comprehensions compiling procedures with procedure parameters with local variables with data structures memory management stack and heap garbage collection
2014-10-09	lecture: interpretation & compilation	lecture notes implementation correctness test cases bounded exhaustive testing formal verification static analysis type checking error reporting
2014-10-14 Monday sched.
2014-10-16	lecture: static analysis	lecture notes type checking with variables with functions
2014-10-20 11:59 PM EDT	assignment	assignment #3 due
2014-10-21	lecture: static analysis	lecture notes more on type checking type checking with size annotations review
2014-10-23	lecture: static analysis	lecture notes type checking with size annotations abstract interpretation programming language paradigms
2014-10-28	lecture: static analysis	lecture notes declarative languages substitution & unification
2014-10-29 11:59 PM EDT	take-home midterm due	midterm posted now due 11:59 PM, 2014-10-30 as before, no late submissions
2014-10-30	lecture: declarative programming	lecture notes more on substitution & unification Haskell syntax & semantics declarative programming algebraic data types (ADTs)
2014-11-04	lecture: declarative programming	lecture notes more Haskell examples semantics of a declarative language
2014-11-06	lecture: declarative programming	lecture notes Haskell type system type synonyms infinitely large values
2014-11-11	lecture: declarative programming	lecture notes logic programming higher-order functions function types
2014-11-12 11:59 PM EDT	assignment	assignment #4 due
2014-11-13	lecture: functional programming	lecture notes data encapsulation using ADTs built-in Haskell type classes defining and overloading operators embedded languages
2014-11-18	lecture: functional programming	lecture notes more Haskell features and examples list comprehensions with pattern matching state space search
2014-11-20	lecture: functional programming	lecture notes state space search representing state spaces comparing states optimizing choice of state
2014-11-25	lecture: algebra of programming	lecture notes folds and unfolds map and filter λ abstractions
2014-11-26 11:59 PM EDT	assignment	assignment #5 due
2014-11-27	recess
2014-12-02	lecture: algebra of programming	lecture notes polymorphism ad-hoc (overloading) parametric type inference & unification
2014-12-04	lecture: review	lecture notes
2014-12-09 Tuesday 12:35-1:55 PM	in-class exam
2014-12-17 11:59 PM EDT	take-home project due	project posted