CS 6848 - Principles of Programming Languages

• Time and Place: Mon (09.00-09.50am), Tue (08.00-08.50am), Wed (12.00-12.50pm), Fri (11.00-11.50am) B slot. Class room # CS 36.
• Teacher : V. Krishna Nandivada
• Office hours / Doubt sessions : Anytime.
• TA : V V N Jyothi. Office hours: Fix a time by sending an email.
  

• Course outline.
• Software, documentation and tools link is here.
• Submission guidelines.
• Discussion website is here (access restricted).
• Texts:
  • Book 1: Essentials of Programming Languages (EOPL), Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes, McGraw-Hill, 2001.
  • Book 2: Types and Programming Languages, Benjamin C. Pierce, MIT Press, 2002.
  • Ref 1: Foundations of Programming Languages, John Mitchell, MIT Press, 1996.
  • Ref 2: Practical Foundations of Programming Languages, Robert Harper, 2011, online book.

• --- all dates --- Acknowledgements
• Aug 03, 04, 05, 10 2015. Introduction (tools)
• Aug 11, 12, 14, 17, 18, 19 2015. Data Types and Interpreters
• Aug 21, 24, 2015. Operational Semantics
• Aug 28, Sep 1, 2, 7 2015. Type Systems I
• Sep 8, 9, 11, 14 2015. Type Systems II - Subtyping, Type inference
• Sep 16 2015. Type Systems III - Pairs, Tuples and Records
• Sep 18, 21 2015. Type Systems IV - Polymorphism (System F), Church numerals
• Sep 22 2015. Typed Assembly Language
• Sep 25, 28, 29 2015. Continuation Passing Style
• Oct 5 (2), 6, 7 2015. Lectures on program verficiation and logic, by Ganesan Ramalingam, 1, 2, 3, 4.
• Oct 12, 13, 14, 15 2015. Axiomatic Semantics,
• Oct 19 Basics.v, 20 Induction.v, 21, 26a Lists.v, unfold tactic in Poly.v, 26b MoreCoq.v, 27, 28 Prop.v, 30 ProofObjects.v 2015, Nov 2, 3 Imp.v, 4 Smallstep.v, 9, 10 Types.v 2015. Coq, Software Foundations (using Coq).

Assignments:

Assignment	What?	Credit	Start date	Mid-Eval date	Due-date
P1	Java Simplifier	5%	07 Aug 2015	12 Aug 2015, 11:59PM	21 Aug 2015, 11:59PM
P2	Java interpreter	5%	22 Aug 2015	27 Aug 2015, 11:59PM	11 Sep 2015, 11:59PM
P3	Java structural subtyping	5%	12 Sep 2015	16 Sep 2015, 11:59PM	23 Sep 2015, 11:59PM
P4	Scheme type inference	5%	27 Sep 2015	02 Oct 2015, 11:59PM	09 Oct 2015, 11:59PM
P5	Java CPS Transformer	10%	10 Oct 2015	16 Oct 2015, 11:59PM	30 Oct 2015, 11:59PM
P6	Theorem Proving using Coq	10%	31 Oct 2015	-	16 Nov 2015, 11:59PM

Written Exams:

• Midterm exam (20%) on Sep 24 2015 2pm. Closed book, closed notes, closed neighbor. sample solution.
• Final exam (40%) on Nov 19 2015 9am. Closed book, closed notes, closed neighbor. sample solution.