6.945 | Spring 2009 | Graduate

Adventures in Advanced Symbolic Programming


Assigned Readings

Readings will be chosen from the following list. Specific readings are assigned in each of the problem sets.


Buy at MIT Press Abelson, Harold, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. 2nd ed. Cambridge, MA: MIT Press, 1996. ISBN: 9780262011532.

The full text of SICP is available online through the MIT Press Web site.

[R5RS] Kelsey, Richard, et al. “Revised Report on the Algorithmic Language Scheme.” (PDF)
[SOS] Hanson, Chris. “The SOS [Scheme Object System] Reference Manual.” (PDF)
[ART] Buy at MIT Press Springer, George, and Daniel Friedman. Scheme and the Art of Programming. Cambridge, MA: MIT Press, 1989. ISBN: 9780262192880.
[RZ] Zippel, Richard. Effective Polynomial Computation. New York, NY: Springer, 1993. ISBN: 9780792393757.
[AOP] Radul, Alexey, and Gerald Jay Sussman. “The Art of the Propagator.” MIT CSAIL Technical Report, January 2009.
[BPS] Buy at MIT Press Forbus, Kenneth, and Johan de Kleer. Building Problem Solvers. Cambridge, MA: MIT Press, 1993. ISBN: 9780262061575.
[CONS] Steele, Guy. “The Definition and Implementation of a Computer Programming Language Based on Constraints.” MIT PhD thesis, 1980.

Suppes, Patrick. Introduction to Logic. Mineola, NY: Dover Publications, 1999. ISBN: 9780486406879.

[AMORD] de Kleer, Johan, et al. “AMORD: A Deductive Procedure System.” MIT Artificial Intelligence Laboratory Working Paper 151, August 1977.
[CMMR] Bundy, Alan. The Computer Modelling of Mathematical Reasoning. Burlington, MA: Academic Press, 1983. ISBN: 9780121412524.

Additional Readings

Sussman, Gerald Jay. Building Robust Systems: An Essay. (PDF)

Steele, Guy. The Future is Parallel: What’s a Programmer to Do? (PDF) (Courtesy of Guy L. Steele, Jr. and Sun Microsystems, Inc. Used with permission.)

Course Info

As Taught In
Spring 2009