CSCI 5106: Programming Languages
Software Documentation
Spring 2006

Documentation and help files are provided below for each of the programming systems we will use in this course except for Java and C++. For Java and C++, I am assuming that you have seen these languages already as required by the prerequisites for this course and will not need me to provide any more information than simply how to run the compiler and the machine or byte code files produced. For all the other languages, note that I have included quick guides that will help you get started with using the language in the local environment. In addition to the language implementations, I have included some reference material for Unix/Linux systems below. This stuff is orthogonal to the course but some of you may still find it useful.

• MIT Scheme
  
  • Using Scheme -- a quick guide: (HTML).
  • MIT Scheme Reference Manual.
  • MIT Scheme User's Manual.
  • You may also want to look at the MIT Scheme home page.
  • Textbooks on Scheme:
    • H. Abelson, G. J. Sussman and J. Sussman, Structure and Interpretation of Computer Programs, MIT Press, 1985.

• Standard ML
  
  • Using Standard ML of New Jersey - a quick guide (HTML).
  • About the Standard ML Language
    • Introduction to Standard ML by Robert Harper (only Postscript available).
  • About the Standard ML of New Jersey Environment
    • Using the SML/NJ Interactive System (for Unix, but may have some useful information for Windows users too)
    • The Standard ML of New Jersey Page
    • User's Guide for SML/NJ
  • Textbooks on Standard ML:
    
    • Lawrence C. Paulson, ML for Working Programmer, Cambridge University Press, 1995.
    • Jeffrey D. Ullman, Elements of ML Programming, Prentice Hall, 1998.

• Haskell
  
  • Using Haskell - a quick guide (HTML)
  • An online guide: A Gentle Introduction to Haskell
  • Books on functional programming using Haskell
    • Richard Bird: Introduction to Functional Programming using Haskell, 2nd edition, Prentice Hall Press, 1998, 460 pp., ISBN: 0-13-484346-0.
      
    • Paul Hudak: The Haskell School of Expression: Learning Functional Programming through Multimedia, Cambridge University Press, New York, 2000, 416 pp Paperback $29.95, ISBN: 0521644089, Hardback $74.95, ISBN: 0521643384
  • The Haskell Web Site

• Java
  
  • Using Java in the local environment (HTML)
  • An online Java Language Specification

• C Programming Language
  
  • Using C -- a quick guide (HTML)
  • An online guide: Programming in C
  • Standard Reference Books:
    • Brian W. Kernighan and Dennis M. Ritchie, The C Programming Language (Second Edition), Prentice Hall, 1988.

• Pascal
  
  • Using Pascal -- a guick guide (HTML)
  • A collection of Pascal tutorial pointers; this one also looks like it is reasonable.
  • Textbooks on Pascal:
    
    • Kathleen Jensen and Niklaus Wirth, Pascal User Manual and Report(Second Edition), Springer-Verlag, 1975.
    • W. J. Savitch, PASCAL, an Introduction to the Art and Science of Programming (Third Edition), Benjamin/Cummings, 1991.

• Prolog
  
  • Using SWI-Prolog -- a quick guide (HTML)
  • SWI-Prolog Web Page
  • SICStus Prolog Web Page (the most widely used Prolog implementation).
  • SWI-Prolog Reference Manual
  • A quick introduction to Prolog (From Manual for SICStus Prolog)
  • Programming Tips and Examples (From Manual for SICStus Prolog)
  • Textbooks on Prolog:
    
    • W. F. Clocksin and C. S. Mellish, Programming in PROLOG (Third Edition), Springer-Verlag, 1987.
    • L. Sterling and E. Shapiro, The Art of Prolog, MIT Press, 1986.

• Unix/Linux
  • Online Tutorial:
    • A Basic UNIX Tutorial
    • UNIXhelp for Users
  • Reference Books on Unix:
    • Learning the UNIX Operating System by Grace Todino, John Strang, and Jerry Peek (Owl), O'Reilly & Associates, 3rd edition 1993/1994, ISBN 1-56592-060-0, $9.95. This is a very short ``Single Session Overview'' of the use of UNIX.