BU CAS CS 320 Spring 2015

BU CAS Computer Science 320
Concepts of Programming Languages

lectures:
   Tue. & Thu., 12:30 - 2 PM in CAS 211
   lecturer: Andrei Lapets (lapets@bu.edu, MCS 173)
   OH: Tue. 11:15 AM-12:15 PM; Thu. 2-4 PM (CS lab)
sections and other assistance:
   Wed., 10 AM - 11 AM in MCS B23
   Wed., 11 AM - 12 PM in MCS B23
   Wed., 12 PM - 1 PM in MCS B19
   teaching fellow: Zhiqiang Ren (section notes)
   OH: Mon. 4-5:30 PM; Wed. 3-4:30 PM (CS lab)
   tutoring: Mon. 3-4 PM (CS lab)

   course assistant: Eric Dunton
   OH: Thu. 6-8 PM (CS lab)

   course assistant: Zhenjie Ruan
   OH: Tue. 5-7 PM (CS lab)
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
   collaboration: discussion only; list all collaborators
   late policy: -10 points per day, 4 days maximum

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

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

2015-01-20	lecture: languages	lecture notes background & motivation defining programming languages sets of character strings regular expressions examples with regular expressions sets of token sequences syntax and BNF notation
2015-01-22	lecture: languages	lecture notes more on syntax and BNF notation concrete and abstract syntaxes abstract syntax trees lexing and parsing
2015-01-27
2015-01-29	lecture: interpretation & compilation	lecture notes more on parsing algorithms recursive descent parsers predictive backtracking grammars & parser implementation left factoring elimination of left recursion
2015-02-02 11:59 PM EST	assignment	assignment #1 due now due Tuesday, 2015-02-03 late penalties also shift by one day
2015-02-03	lecture: interpretation & compilation	lecture notes review of parsing operational semantics inference rules evaluation of expressions
2015-02-05	lecture: interpretation & compilation	lecture notes flow of control side effects execution of statements environments/contexts with variable assignment with looping constructs
2015-02-10
2015-02-12	lecture: interpretation & compilation	lecture notes compilation history and background formal definition interpretation vs. compilation example of a machine language
2015-02-17 Monday sched. 11:59 PM EST	assignment	assignment #2 due
2015-02-19	lecture: interpretation & compilation	lecture notes machine language programs heap management compiling expressions
2015-02-24	lecture: interpretation & compilation	lecture notes compiling statements with procedures and calls with assignment compiling expressions with variables compiler optimizations loop unrolling constant folding
2015-02-26	lecture: interpretation & compilation	lecture notes register allocation interference graph graph coloring single static assignment compiling procedures with procedure parameters with local variables with data structures
2015-03-03	lecture: static analysis	lecture notes implementation correctness test cases bounded exhaustive testing static analysis type checking error reporting
2015-03-04 11:59 PM EDT	assignment	assignment #3 due
2015-03-05	lecture: static analysis	lecture notes type checking with variables with functions with looping constructs with size annotations abstract interpretation
2015-03-10	recess
2015-03-12	recess
2015-03-17	lecture: declarative programming	lecture notes review programming language paradigms declarative languages substitution & unification
2015-03-19	lecture: declarative programming	lecture notes more on substitution & unification Haskell syntax & semantics declarative programming algebraic data types (ADTs)
2015-03-23 11:59 PM EDT	take-home midterm due	midterm posted no late submissions
2015-03-24	lecture: declarative programming	lecture notes semantics of a declarative language more Haskell examples Haskell type system type synonyms infinitely large values
2015-03-26	lecture: declarative programming	lecture notes logic programming higher-order functions function types data encapsulation using ADTs
2015-03-31	lecture: declarative programming	lecture notes built-in Haskell type classes defining and overloading operators embedded languages more Haskell features and examples
2015-04-02	lecture: declarative programming	lecture notes composition of functions list comprehensions with pattern matching state space search representing state spaces comparing states
2015-04-03 11:59 PM EDT	assignment	assignment #4 due
2015-04-07	lecture: declarative programming	lecture notes defining modules polymorphism ad-hoc (overloading) parametric defining type classes type inference & unification
2015-04-09	lecture: functional programming	lecture notes folds and unfolds map and filter λ abstractions database languages
2015-04-14	lecture: functional programming	review for quiz more on folds and unfolds
2015-04-16	lecture: functional programming	lecture notes folds and maps for datatypes lifting and joining composing monadic functions
2015-04-17 11:59 PM EDT	assignment	assignment #5 due
2015-04-21	lecture: algebra of programming	exploiting algebraic properties idempotency and monotonicity commutativity and associativity composition
2015-04-23	lecture: algebra of programming
2015-04-28	lecture: review	lecture notes
2015-04-30 Thursday 12:35-1:55 PM	in-class exam
2015-05-08 11:59 PM EDT	take-home project due	project posted