\documentstyle[11pt]{article}
\nofiles
\input{use-full-page}

\begin{document}
\noindent
CS 641
\hfill Semantic Models for Programming Languages
\hfill \today \\

\begin{center}
{\huge Syllabus}
\end{center}

The syllabus below tells when we will be discussing various topics.
The ``when'' is specified below by class meeting numbers
(a count of the ``lectures'').
Readings from Cohen's and Hesslink's books are marked with their names.
As we will try to ``uncover'', rather than ``cover''
the material in the main text, this syllabus is subject to modification.

\begin{center}
\begin{tabular}{|l|l||l|l|}
\hline
Meetings& Topic 		& Essential Readings	& Other Readings\\
\hline
\hline
1--3	& Overview/motivation	& [Hoare 69],[Dijkstra 75] & handouts \\
4--7	& Calculation \& precision & Cohen 0, 1	& refs. on calculation \\
7--9	& Predicates 		& Cohen 2, 3		& [Dijkstra Scholten 90] \\
9--14	& Development of programs & Cohen 4--7		& Cohen 8--13 \\
15--17	& Predicate Transformer Semantics & Hesselink 0, 1 &  \\
18--19	& Annotation, recursion & Hesselink 2		&  \\
20--21	& Healthiness laws	& Hesselink 3		& [Dijkstra Scholten 90]\\
22--25	& Semantics of recursion & Hesselink 4		& \\
26--28	& Ramifications		& Hesselink 5		& \\
29--31	& Relational semantics	& Hesselink 6		& \\
32--34	& Determinacy and disjunctivity & Hesselink 7	& \\
35--37	& Syntactic criteria	& Hesselink 8		& \\
38--43	& Op. sem. of recursion	& Hesselink 9		& \\
44	& Summary and course eval &			& \\
\hline
\end{tabular}
\end{center}

The following table relates the meeting numbers to the calendar.
I'll be gone for OOPSLA on Oct.\ 24 and 26, and we'll make up those
meetings.
\begin{center}
\begin{tabular}{|l|l|l|}
\hline
Date 			& Meeting Num.	& Comment \\
\hline
\hline
August 22, 1994	      & 1 	& \\
September 2, 1994     & 6	& last meeting before Labor Day \\
September 7, 1994     & 7	& first meeting after Labor Day \\
October 3, 1994	      & 18	& \\ 		 
October 26, 1994      & 28	& drop deadline \\
November 2, 1994      & 31 	& \\
November 18, 1994     & 38 	& last meeting before Thanksgiving \\
November 28, 1994     & 39 	& first meeting after Thanksgiving \\
December 2, 1994      & 41      & \\
December 9, 1994      & 44 	& last meeting before exams \\
December 12, 1994     &		& final exam week \\
\hline
\end{tabular}
\end{center}


\end{document}
