Computing Resources

Com Sci 221 Programming Languages: Software Documentation

Department of Computer Science
The University of Chicago

Copyright information

Last modified: Mon Nov 22 11:48:51 CST 1999

Software Documentation

• Scheme
  
  • DrScheme Programming Environment 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
  
  • About the Standard ML Language
    • Introduction to Standard ML by Robert Harper. (HTML)
    • A Gentle Introduction to ML by Andrew Cumming. (HTML)
  • About the Standard ML of New Jersey Environment
    • Standard ML of New Jersey Website
    • Using SML/NY System - a quick guide (HTML)
    • Basis Library (HTML)
    • User's Guide (HTML)
  • Textbooks on Standard ML:
    
    • Jeffrey D. Ullman, Elements of ML Programming, Prentice Hall, 1994.
    • Laurence C. Paulson, ML for Working Programmer, Cambridge University Press, 1992.

• C Programming Language
  
  • 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.
• C++ Programming Language
  
  • An online guide: C++ Tutorial
  • Standard Reference Books:
    • Stroustrup, Bjarne, The C++ Programming Language (Third Edition), Addison Wesley Longman Inc. 07/1997.

• Pascal
  
  • Reference Manual: DVI, PostScript, ASCII. (not available now)
  • Textboks 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), Bebjamin/Cummings, 1991.

• GNU-Prolog
  
  • Get Started with GNU Prolog Interpreter (HTML)
  • Prolog Tutorail with Excercises
  • SICSTUS Prolog User's Manual (HTML)
  • Prolog Tutorial (Note: the syntax for clauses is different than the one in gprolog)
  • GNU Prolog's web site
  • Textbooks on Prolog:
    
    • W. F. Clocksin and C. S. Mellish, Programming in PROLOG (Third Edition), Springer-Verlag, 1987.
• 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.
  
  
  

  Special Documents for Com Sci 221

  • How to Record Your CS221 Work on Scheme, ML, Prolog Interpreters DVI, Postscript, ASCII.