CIS 425 Schedule:

	Classes:
	MW 8:30-9:50 am in 102 DEA (Deady)
	Tutorial:
	1:00 - 1:50 pm Thursday in 117 FEN (Fenton)
	Tutorial Page
	Final Examination:
	10:15am - 12:15pm on Thursday, December 6

Topic	Readings
Week 1: 09/24 - 09/28 Introduction Grammars	Mitchell: Chapter 1 , 2, 4.1 Supplementary notes on syntax, interpreters, and common language constructs. Formal languages and grammars (ps file) If you want to know more about formal languages and recognizers, take CIS420/520 Automata Theory If you want to know more about how a language is compiled, take CIS461/561
Week 2: 10/01 - 10/05 Lambda calculus Denotational semantics Natural Semantics Homework 2 out, due 10/10	Mitchell: 4.2-4.5 Handout on Natural semantics
Week 3: 10/08 - 10/12 LISP and Functional Programming Homework 3 out, due 10/17	Mitchell: Chapter 3 (LISP) A Scheme Presentation An online Scheme tutorial Archives of the Revised Report on the Algorithmic Programming Language Scheme, which is usually considered the standard specification for the language. Two summaries of Scheme forms: Scheme in general Chez Scheme Some notes and slides from last term's 425, Thanks to David Atkins. Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I, John McCarthy's 1960 paper describing LISP.
Week 4: 10/15 - 10/19 ML Homework 4 out,due 10/03	Mitchell: Chapter 5 Please see the following links for ML: ml tutorial thorough tutorial with index ml tutorial Introduction to Standard ML By Robert Harper (local copy of the current version in PDF) another tutorial sml-nj home page sml mode for emacs - to make your coding easier (or harder) Some notes and slides from last term's 425, Thanks to David Atkins. Why Pascal is Not My Favorite Programming Language by Brian W. Kernighan
Week 5: 10/22 - 10/26 More ML Midterm Exam (Wed, Oct. 24)	Mitchell: Chapter 5
Week 6: 10/29 - 11/02 Type Inference Storage Management Homework 5 out, due 11/5	Type Inference - Mitchell: Chapter 6 Storage Management - Mitchell: Chapter 7
Week 7: 11/05 - 11/09 Scope Parameter Passing Homework 6 out, due 11/12	Mitchell: Chapter 7
Week 8: 11/12 - 11/16 Interpreters Homework 7 out, due Wednesday (11/21)	Interpreters in Java
Week 9: 11/19 - 11/23 Continuations	Mitchell: Chapters 8 Harper: Chapter 12 Handout Bob Harper's ML Tutorial entries for "exceptions", "Options, Exceptions, and Failure Continuations" Continuation examples (PDF format)
Week 10: 11/26 - 11/30 Prolog	Mitchell: Chapter 13 SICStus Prolog User's Manual (version 3.6)
Finals Week: 12/3 - 12/7 Final Exam on Thursday, December 6 at 10:15a.m.	Final Exam on Thursday, December 6 at 10:15a.m.

To CIS 425 Homepage ...

Maintainer of this page: The GTF