Jan 13- Course introduction. Assignments

Jan 15 - Lecture by David Wood.

Jan 20 - No Class, Inauguration Day - Assigned exercises in Chapters 2 and 3 due.

Jan 22- Discuss Chapter 4; Language Systems.

Jan 27 - Read Chapter 5 & do exercises - ML SNOW DAY

Jan 29 - Read Chapter 5 & do exercises

Feb 3 Chapter 6

Feb 5 Chapter 7

Feb 10 Chapter 8

Feb 12 Chapter 9

Feb 17 Chapter 10

Feb 19 - test 1

Feb 24 Chapter 10,11

Feb 26 Chapter 11,12

Mar 3, 5 - no class Spring break

Mar 10 - Chapter 12, Writing assignment

Mar 12 - Chapter 13, 14

Mar 17 Chapter 15, 16

Mar 19 Chapter 17

Mar 24 - test 2

Mar 26 - Chapter 18

Mar 31 No class because of outcomes assessment tests. Read the chapter, and start the exercises. Chapter 19 - Prolog;

Apr 2 Chapter 17

Apr 7 Chap 18,19

Apr 9 Chapter 19

Apr 14 - program correctness, Chapter 23

Apr 16

Apr 21

April 23 - Last Day of Class :-(

April 28 - Final Exam. 8:30 - 11:00 AM

Resources for Writers

• Guide to Grammar and Style by Jack Lynch at Rutgers University
• Online Resources from the Online Writing Lab at Purdue
• ACM Ubiquity - The Three Acid Tests of Persuasive Writing
• Computer Science Style Guides
• Exercises for Review of Grammar and Punctuation, by Ian C. Johnston Liberal Studies Department Malaspina University-College Nanaimo, BC V9R 5S5 July 1998
• Ackermann's del.icio.us links tagged "writing"

Resources for students of computer science and programming languages

• Computer Science Resources from Libraries@UMW
• Computer Science Indexes, Databases, and Full-Text Sources from Libraries@UMW
• Resources for Programming Language Research
• Computer Languages History

UMW Comp Sci Mac User Guide

Unix tutorials: 

• UNIX Tutorial for Beginners M.Stonebank@surrey.ac.uk © 19 October 2001
• A Basic UNIX Tutorial IDAHO STATE UNIVERSITY
• Unix Tutorial Jennifer Fox, Ohio State University 

Remote access to paprika.umw.edu

• Using putty
• WINSCP documentation

Using vim

• Basic Vim - enough to get started
• VIM Tips - tips and macros
• Graphical vi/vim Cheat Sheet and Tutorial - very popular

Some pointers to BNF resources on the WWW.

• About BNF notation . A quick overview of BNF from Th. Estier, CUI - University of Geneva.
• The BNF Web Club. A list of pointers to BNF descriptions of several languages including database, procedural, and non-procedural languages. "The BNF webs of each language and the syntactic diagrams were generated by "HyperGOS", a syntactic tools generator, developed at the University of Geneva by Jacques Guyot, Thibault Estier and Pascal Crausaz."
• ANSI C syntax from K&R in BNF
• BNF for Java - Home page of the SourceForge project

Materials to accompany the text :

• The implementation of ML used in the book is Standard ML of New Jersey.  You can download it from Bell Lab's ML site. 

  A tutorial developed by Stephen Gilmore is called Programming In Standard ML '97: An On-line Tutorial. Robert Harper has a very extensive introductory on-line text, Programming in Standard ML, that includes lots of examples. Andrew Cumming of Napier University in Edinburgh has written a tutorial site for ML called A Gentle Introduction to ML.

• The classic on-line tutorial for more experienced programmers is Sun's Java Tutorial, which is also available in book form. This is a very thorough tutorial with many examples. 

• The implementation of Prolog used in the book is SWI-Prolog from the University of Amsterdam. You can download it from the SWI-Prolog web site. 

  A useful Web resource is Paul Brna's online Prolog textbook. For general Prolog information and lots of source code, check out the Prolog Repository at CMU.

• Here are PowerPoint slides for lectures, one set for each chapter of the book.

• Here is the source code from the book, organized by chapter.