Textbooks
Most of these books are on reserve in the library
and can be used as additional references to the course.
-
Recommended, if you really want a course textbook (covers most of the ideas
in the course):
- Sebesta, Concepts of Programming Languages, 6th ed.,
Addison-Wesley, 2003.
- Related general programming language textbooks:
-
Sethi, Programming Languages: Concepts and Constructs, 2nd
ed., Addison-Wesley, 2003.
-
Mitchell, Concepts in Programming Languages, Cambridge, 2003.
-
Scheme:
- Dybvig, The Scheme Programming Language: ANSI Scheme, 3rd
ed., Prentice Hall, 2003.
(online version)
-
Springer and Friedman, Scheme and the Art of Programming,
McGraw-Hill/MIT Press, 1989.
-
C++:
- Stroustrup, The C++ Programming Language, 3rd ed., Addison-Wesley, 1997.
-
ML:
- Ullman, Elements of ML Programming, 2nd ed., Prentice Hall,
1997.
-
Prolog:
- Clocksin and Mellish, Programming in Prolog, 4th ed.,
Springer-Verlag, 1994.
-
Bratko, PROLOG, Programming for Artificial Intelligence, 3rd
ed., Addison-Wesley, 2001.
-
Sterling and Shapiro, The Art of Prolog: Advanced
Programming Techniques, 2nd ed., MIT Press,1994.
References
Scheme
Documentation for
match procedure
C++
C++ was originally an extension of C, and served as a major inspiration
for the design of Java. Take the object-oriented ideas you learned in Java,
and combine them with your experience with C (or other imperative languages),
and C++ should be fairly straightforward.
Prolog