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.

Jan 23 - Discuss Chapter 3; Syntax & Semantics. Discuss assigned exercises in Chapters 2 and 3. Programming assignment due.

Jan 25 - Discuss Chapter 4; Language Systems.

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 12 & 13, writing assignment

Mar 15 Chapter 14

Mar 20 Chapter 15

Mar 22 Chapter 16

Mar 27 Chapter 17

Mar 29 - test 2

Apr 3 Chapter 17 & Chapter 18; final writing assignment

Apr 5 No class becaue of outcomes assessment tests. Read the chapter, and start the exercises. Each section will do its own set of problems. Chapter 19 - Prolog;

Apr 10 Chapter 20

Apr 12 Chapter 20

Apr 17

Apr 19 - program correctness, Chapter 23

Apr 24

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

Resources for Writers

• Guide to Grammar and Style by Jack Lynch at Rutgers University
• Online Resources from the Online Writing Lab at Purdue
• Computer Science Style Guide Suggestions Guide to ACM, APA, and IEEE bibliographic styles
• 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.