Jan 16 - Course introduction. Programming & reading assignment.

Jan 18 - Discuss Chapter 1 & Chapter 2; Programming Languages and Defining Program Syntax. Discuss the first 2 items on the Reading List. Writing assignment.

Jan 23 - Discuss Chapter 3; Syntax & Semantics. Discuss assigned exercises in Chapters 2 and 3. Discuss third item on the Reading List. Programming assignment due.

Jan 25 - Discuss Chapter 4; Language Systems. Discuss exercises in Chapter 4. Writing assignment due.

Jan 30 - No class. Ackermann not available. Read Chapter 5 & do exercises - ML

Feb 1 Chapter 6

Feb 6 Chapter 6

Feb 8 Chapter 7

Feb 13 Chapter 8

Feb 15 Chapter 9

Feb 20 Chapter 10

Feb 22 - test 1

Feb 27 Chapter 12

Mar 1 Chapter 13, Java

Mar 6 - no class Spring break

Mar 8 - no class Spring break

Mar 13 Chapter 14

Mar 15 Chapter 15

Mar 20 Chapter 15

Mar 22 Chapter 16

Mar 27 Chapter 17

Mar 29 - test 2

Apr 3 Chapter 18

Apr 5 Chapter 19 - Prolog; Writing Assignment due

Apr 10 Chapter 20

Apr 12 Chapter 20

Apr 17

Apr 19 - go over drafts; program correctness, Chapter 23

Apr 24

Apr 26 - Last Day of class; review for final exam

Resources for Writers

• "Resources for Writers and Writing Instructors"
• Online Resources from the Online Writing Lab at Purdue
• Computer Science Style Guide Suggestions

• 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

HP-UX Tips 

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 the vi Editor
Notes on Using vi
vi reference card

Dealing with the file/directory quota system

Guidelines for documenting a C++ program

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."
• BNF for C CSc 453: C-- Language Specification
• ANSI C syntax from K&R in BNF
• Pascal BNF Pascal - Syntax in BNF Notation

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. 

• Java tutorial called The Java Trainer

• 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.