Software Documentation

We assume that you already have a familiarity with Java and C and hence do not provide any information beyond how to run the compiler and the machine or byte code files produced. Documentation and help files are provided below for each of the other programming systems we will use in this course. We have included quick guides that will help you get started with using the language in the local environment.

In addition to the language implementations, we 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
• Scheme Reference Manual
• MIT/GNU Scheme homepage
• Textbooks on Scheme:
  • H. Abelson, G. J. Sussman and J. Sussman, Structure and of Computer Programs, MIT Press, 1985

Standard ML

• Using Standard ML of New Jersey – a quick guide
• About the Standard ML Language:
  • Introduction to Standard ML by Robert Harper
• 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
  • Standard ML of New Jersey User's Guide
• Textbooks on Standard ML:
  • Lawrence C. Paulson, ML for the Working Programmer, Cambridge University Press, 1995
  • Jeffrey D. Ullman, Elements of ML Programming, Prentice Hall, 1998

Haskell

• Using Haskell – a quick guide
• A Gentle Introduction to Haskell
• haskell.org – includes a good collection of books
• Learn You a Haskell – a guide for programmers new to Haskell and functional programming

OCaml

• Using OCaml – a quick guide
• OCaml For the Masses – a paper that argues why you should learn to program in OCaml
• The OCaml Reference Manual

Java

• Using Java – a quick guide
• The Java Language Specification

C

• Using C – a quick 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
• Learn Pascal
• 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 Prolog – a quick guide
• swi-prolog.org
  • SWI-Prolog Reference Manual
• SICStus Prolog – the most widely used Prolog implementation
  • A quick introduction to Prolog
  • Programming Tips and Examples
• 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

• 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.