CIS 300 (aka CIS 352)   —   SPRING 2012

Programming Languages: Theory and Practice

News

• a nice toy
  Click HERE to to to a nice little ``finite state machine explorer''.
  Posted: Wed Feb 8 18:54:53 EST 2012

• Old news

Homeworks

• Homework 1:   Due 5pm Tuesday, January 24.
  You will also need: hw01.hs
• Homework 2:   Due 5pm Tuesday, January 31.
  You will also need: Sets.hs
• Homework 3:   Due 5pm Thursday, February 9.     ⇐ CHANGED!!
  You will also need: prop.hs
• Homework 4:   Due 5pm Thursday, February 16.
  You will also need: the files from here

Tests

• Quiz 1: Tuesday, February 21. Info forthcoming
• Quiz 2: Thursday, March 8.
• Quiz 3: ??.
• Quiz 4: ??.
• Quiz 5: ??.
  
• Final Exam: Thursday May 3, 12:45pm–2:45pm.
      The final exam will be in our usual classroom.
  

Support

• Notes and code from lectures
  January 17: Haskell review, day I.
  slides for Chapter 2 of LYHGG
  January 19: Haskell review, day II.
  slides for Chapter 3 of LYHGG
  slides for Chapter 4 of LYHGG
  January 24 and 26: Haskell review, day III.
  slides for User Defined Types
  prop.hs – the code for propositional logic developed in class.
  January 31: Finishing the propositional logic example and starting a review of higher types
  prop.hs   /   higher-type slides   /   jan31.hs
  Groundhog Day: An interpreter, compiler, and virtural machine — in 18 slides.
  arith4.pdf   /   AS0.hs   /   Parser0.hs   /   vm0.hs
  February 7 and 9: Lexical Analysis
  lexical4.pdf   /   The Regular Expressions Code
• Basic tools
  • Textbook Pages  
  • Topic Links  

Administrivia

• Course syllabus
• Honor Policy
• Homework and Lab Policy
• Summary of administrative details, including:
  • Instructor info
  • TA info
  • When & where
  • Texts
  • Coursework (e.g., grades)

Dates

first class	Tuesday	17 January
last day to add a course	Tuesday	24 January
financial drop deadline	Tuesday	7 February
spring break - no classes	Sat-Sun	11-18 March
academic drop deadline	Tuesday	20 March
withdrawal deadline	Thursday	17 April
last day of classes	Friday	1 May