BU CAS CS 320 Fall 2015

BU CAS Computer Science 320
Concepts of Programming Languages

lectures:
   Tue. & Thu., 12:30 - 2 PM in CGS 511
   lecturer: Andrei Lapets (lapets@bu.edu, MCS 173)
   OH: Wed. 5 - 7 PM; Thu. 2 - 3 PM (CS lab)
sections and other assistance:
   Wed., 10 AM - 11 AM in PSY B47
   Wed., 11 AM - 12 PM in KCB 103
   Wed., 12 PM - 1 PM in MCS B23
   Wed., 3 PM - 4 PM in EPC 208
   teaching fellow: Saber Mirzaei
   OH: Mon. 3 - 4:30 PM; Tue. 3 - 4:30 PM (CS lab)

   course assistant: Jacqueline You
   OH: Fri. 3 - 5 PM (CS lab)

   course assistant: Zhenjie Ruan
   OH: Mon. 4 - 6 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 (gsubmit)
   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)
   machine language simulator
   assignment #1
   assignment #2
   assignment #3
   midterm (solutions)
   assignment #4
   assignment #5
   take-home project
   GitHub repository

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-09-03	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-09-08	lecture: languages	lecture notes more on syntax and BNF notation concrete and abstract syntaxes abstract syntax trees lexing and parsing
2015-09-10	lecture: parsing	lecture notes more on parsing algorithms recursive descent parsers predictive backtracking more on parser implementation elimination of left recursion left factoring
2015-09-15	lecture: interpretation & compilation	lecture notes operational semantics inference rules implementing interpreters evaluation of expressions
2015-09-16 11:59 PM EDT	assignment	assignment #1 due
2015-09-17	lecture: interpretation & compilation	lecture notes execution of statements control flow side effects environments/contexts variable assignment program subblocks
2015-09-22	lecture: interpretation & compilation	lecture notes execution of statements conditional branches looping constructs control flow graphs
2015-09-24	lecture: interpretation & compilation	lecture notes compilation history and background formal definition interpretation vs. compilation example of a machine language
2015-09-29	lecture: interpretation & compilation	lecture notes machine language programs compiling expressions heap (memory region)
2015-10-01	lecture: interpretation & compilation	lecture notes compiling expressions variable occurrences compiling statements assignments procedures stack vs. heap
2015-10-02 11:59 PM EDT	assignment	assignment #2 due
2015-10-06	lecture: interpretation & compilation	lecture notes compiling statements procedure calls procedure parameters looping constructs stack pointer stack frames
2015-10-08	lecture: interpretation & compilation	lecture notes compiler optimizations loop unrolling constant folding register allocation interference graph graph coloring single static assignment compiling comprehensions
2015-10-13 Monday sched.
2015-10-15	lecture: interpretation & compilation	more on compiling procedures local variables data structures memory management stack and heap garbage collection
2015-10-20	lecture: static analysis	lecture notes implementation correctness test cases bounded exhaustive testing formal verification static analysis type checking error reporting
2015-10-21 11:59 PM EDT	assignment	assignment #3 due
2015-10-22	lecture: static analysis	lecture notes more type checking and interpretation functions with parameters types with size annotations
2015-10-27	lecture: static analysis	lecture notes abstract interpretation review
2015-10-29	lecture: declarative programming	lecture notes programming paradigms declarative languages substitution & unification
2015-11-02 11:59 PM EDT	take-home midterm due	midterm posted
2015-11-03	lecture: declarative programming	lecture notes more on substitution & unification Haskell syntax & semantics declarative programming algebraic data types (ADTs)
2015-11-05	lecture: declarative programming	lecture notes semantics of a declarative language Haskell type system type synonyms infinitely large values
2015-11-10	lecture: functional programming	lecture notes more on infinitely large values function types higher-order functions type checking in Haskell
2015-11-12	lecture: functional programming	lecture notes logic programming built-in Haskell type classes defining and overloading operators embedded languages
2015-11-16 11:59 PM EDT	assignment	assignment #4 due
2015-11-17	lecture: functional programming	lecture notes more Haskell features and examples list comprehensions with pattern matching state space search defining a game state building a state space
2015-11-19	lecture: functional programming	lecture notes state space search comparing states choosing states optimally polymorphism ad-hoc (overloading) parametric defining modules defining data structures defining type classes
2015-11-24	lecture: functional programming	lecture notes more on state spaces more on polymorphism
2015-11-26	recess
2015-12-01	lecture: algebra of programming	fold operations over data types
2015-12-03	lecture: algebra of programming	polymorphic fold operations folds, maps, and filters as comprehensions in Haskell in Python in database languages exploiting algebraic properties lifts and joins
2015-12-07 11:59 PM EDT	assignment	assignment #5 due
2015-12-08	lecture: review	lecture notes
2015-12-10 Thursday 12:35-1:55 PM	in-class exam
2014-12-17 11:59 PM EDT	take-home project due	take-home project posted