BU CAS CS 320 Fall 2013

BU CAS Computer Science 320
Concepts of Programming Languages

lectures:
   Tue. & Thu., 12:30 - 2:00 PM in CAS 316
   lecturer: Andrei Lapets (lapets@bu.edu)
   OH: Wed. 1 - 3 PM; Thu. 2:15 - 3:15 PM (CS lab)
sections:
   Wed., 10 AM - 11 AM in SED 140
   Wed., 11 AM - 12 PM in KCB 103
   Wed., 3 PM - 4 PM in COM 215
   teaching fellow: Hanwen Wu (hwwu@bu.edu)
   OH: Wed. 1 - 2:30 PM; Wed. 5:30 - 7 PM (PSY 234)
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, 5 days maximum

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

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

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

2013-09-03	lecture: languages	lecture notes overview, motivation, & background defining programming languages syntax and BNF notation
2013-09-05	lecture: languages	lecture notes more on syntax and BNF notation lexing and parsing
2013-09-10	lecture: parsing	lecture notes more on parsing algorithms recursive descent parsers predictive backtracking inference rule notation operational semantics
2013-09-12	lecture: interpretation & compilation	lecture notes more on parser implementation generic/parameterized left factoring more on operational semantics
2013-09-17	lecture: interpretation & compilation	lecture notes implementing interpreters evaluation of expressions formula constants formula operators
2013-09-18 11:59 PM EDT		assignment #1 due
2013-09-19	lecture: interpretation & compilation	lecture notes implementing interpreters evaluation of expressions execution of statements with side effects environment/contexts
2013-09-24	lecture: interpretation & compilation	lecture notes implementing interpreters evaluation of expressions with variables execution of statements with variable assignment with looping constructs
2013-09-26	lecture: interpretation & compilation	lecture notes implementing interpreters execution of statements with looping constructs interpretation vs. compilation example of a machine language
2013-10-01	lecture: interpretation & compilation	lecture notes compilation history and background formal definition compiling expressions
2013-10-03	lecture: interpretation & compilation	lecture notes compilation compiling expressions with variables compiling statements with assignment with procedures
2013-10-04 11:59 PM EDT		assignment #2 due only 3 late days available late penalty starts at 30 points
2013-10-08	lecture: interpretation & compilation	lecture notes compilation compiling statements with data structures with procedure parameters memory management stack and heap garbage collection
2013-10-10	lecture: interpretation & compilation	lecture notes machine language exercise memory management stack and heap garbage collection compiler optimizations constant folding loop unrolling
2013-10-15 Monday sched.
2013-10-17	lecture: static analysis	lecture notes implementation correctness test cases bounded exhaustive testing formal verification static analysis type checking error reporting
2013-10-18 11:59 PM EDT		assignment #3 due only 3 late days available late penalty starts at 30 points
2013-10-22	lecture: static analysis	lecture notes review static analysis abstract interpretation
2013-10-24	lecture: static analysis	lecture notes more on static analysis liveness analysis type checking function types size-annotated types
2013-10-25	midterm project due	midterm posted
2013-10-29	lecture: static analysis	lecture notes more on type checking more on abstract interpretation programming paradigms
2013-10-31	lecture: declarative programming	lecture notes substitution & unification declarative languages
2013-11-05	lecture: declarative programming	lecture notes Haskell syntax & semantics declarative programming algebraic data types (ADTs)
2013-11-07	lecture: declarative programming	lecture notes Haskell type system infinitely large values
2013-11-08 11:59 PM EDT		assignment #4 due
2013-11-12	lecture: declarative programming	lecture notes higher-order functions type synonyms encapsulation using ADTs built-in Haskell type classes
2013-11-14	lecture: functional programming	lecture notes more Haskell examples state space search representing state spaces comparing states optimizing choice of state
2013-11-19	lecture: functional programming	lecture notes state space search optimizing choice of state building up algorithms polymorphism ad-hoc (overloading) parametric
2013-11-21	lecture: functional programming	lecture notes more on polymorphism implementing modules
2013-11-23 11:59 PM EDT		assignment #5 due only 4 late days available late penalty starts at 20 points
2013-11-26	lecture: algebra of programming	lecture notes defining modules defining type classes folds and unfolds λ-calculus
2013-11-28	recess
2013-12-03	lecture: algebra of programming	lecture notes folds, maps, and λ abstractions in Haskell in Python in JavaScript in database languages
2013-12-05	lecture: algebra of programming	exploiting algebraic properties refactoring optimization distributed/web programming
2013-12-06 11:59 PM EDT		assignment #6 due
2013-12-10	lecture: review	lecture notes
2013-12-13 11:59 PM EDT	final take-home portion due	take-home portion posted
2013-12-16 Mon. 12:30-2:30 PM CAS 316	final in-class exam