\documentstyle{article}
\nofiles
\input{use-full-page}

\begin{document}
\noindent
~
\hfill Com S 541 --- Programming Languages 1
\hfill \today \\

\begin{center}
{\huge Reserve List}
\end{center}

See the ``Introduction to the Literature'' for books not on reserve.

%Besides the books listed below there is also a copy of
%the homework solutions available (call number XX23,876).

\section{General}

\begin{itemize}
\item
\begin{verbatim}
 Author:         Watt, David A. (David Anthony)
 Title:          Programming language concepts and paradigms
 Publisher:      New York : Prentice Hall, 1990.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.7 .W39 1990           Not checked out
    Room
\end{verbatim}

\item
\begin{verbatim}
 Author:         Friedman, Daniel P.
 Title:          Essentials of programming languages
 Publisher:      Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, c1992.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.7 .F73 1992           Not checked out
    Room
\end{verbatim}
\end{itemize}

\section{Object-Oriented Programming Languages}

\begin{itemize}
\item
\begin{verbatim}
 Author:         Budd, Timothy.
 Title:          A Little Smalltalk
 Publisher:      Reading, Mass. : Addison-Wesley, c1987.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.6 .B835 1987          Not checked out
    Room
\end{verbatim}

\item
\begin{verbatim}
 Author:         Goldberg, Adele.
 Title:          Smalltalk-80 : the language and its implementation
 Publisher:      Reading, Mass. : Addison-Wesley, c1983.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.8.S635 G64 1983       Not checked out
    Room
\end{verbatim}

\item
\begin{verbatim}
 Author:         Gosling, James, , Bill Joy, and Guy Steele.
 Title:          The Java language specification
 Publisher:      Reading, Mass. : Addison-Wesley, c1996.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.73.J38 G68 1996       Not checked out
    Room
\end{verbatim}

\item
\begin{verbatim}
Author:         Ellis, Margaret A.
 Title:          The annotated C++ reference manual
 Publisher:      Reading, Mass. : Addison-Wesley, c1990.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.73.C153 E35 1990      Not checked out
    Room
\end{verbatim}
\end{itemize}


\section{Functional Programming}

\begin{itemize}
\item
\begin{verbatim}
 Author:         Hudak, Paul
 Title:          Haskell tutorial and Haskell report
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  XX27,405                   Not checked out
    Room
\end{verbatim}

\begin{verbatim}
 Author:         Paulson, Lawrence C.
 Title:          ML for the working programmer
 Publisher:      Cambridge ; New York : Cambridge University Press, 1991.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.73.M6 P38x 1991       Not checked out
    Room
\end{verbatim}

\item
\begin{verbatim}
 Author:        Davie, A. J. T. (Antony J. T.), 1939-
 Title:         An introduction to functional programming systems using Haskell
 Publisher:     Cambridge ; New York : Cambridge University Press, 1992.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.62 .D38 1992          Not checked out
    Room
 \end{verbatim}

\item
\begin{verbatim}
 Author:         Thompson, Simon.
 Title:          Haskell : the craft of functional programming
 Publisher:      Harlow, England ; Reading, Mass. : Addison-Wesley, 1996.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.62 .T46 1996          Not checked out
    Room
 \end{verbatim}
\end{itemize}

\section{Logic Programming Languages}

\begin{itemize}
\item
\begin{verbatim}
 Author:         Sterling, Leon.
 Title:          The art of Prolog : advanced programming techniques
 Publisher:      Cambridge, Mass. : MIT Press, c1986.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.73.P76 S74 1986       Not checked out
    Room
\end{verbatim}

\item
\begin{verbatim}
 Author:         Miller, Dale
 Title:          Prolog : an introduction to the language and its logic
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  XX24,682                   Not checked out
    Room
\end{verbatim}
\end{itemize}

\section{Operational Semantics}

\begin{itemize}
\item
\begin{verbatim}
 Author:         Hennessy, Matthew.
 
 Title:          The semantics of programming languages : an elementary
                   introduction using structural operational semantics
 Publisher:      Chichester <England> ; New York : Wiley, c1990.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.7 .H45 1990           Not checked out
    Room
\end{verbatim}
\end{itemize}

\section{Denotational Semantics}

\begin{itemize}
\item
\begin{verbatim}
Author:         Watt, David A. (David Anthony)
 Title:          Programming language syntax and semantics
 Publisher:      Englewood Cliffs, N.J. : Prentice Hall, 1991.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.7 .W4 1991            Not checked out
    Room
\end{verbatim}

\item
\begin{verbatim}
 Author:         Schmidt, David A., 1953-
 Title:          Denotational semantics : a methodology for language
                   development
 Publisher:      Boston : Allyn and Bacon, c1986.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.7 .S34 1986           Not checked out
    Room
\end{verbatim}

\begin{verbatim}
 Author:         Schmidt, David A., 1953-
 Title:          The structure of typed programming languages
 Publisher:      Cambridge, Mass. : MIT Press, c1994.
  LOCATION:              CALL NUMBER                STATUS:
  PARKS LIBRARY Reserve  QA76.7 .S345 1994          Not checked out
    Room
\end{verbatim}
\end{itemize}

\end{document}