Readings for 6.945/6.905 -- Spring 2021

There will be assigned readings with each problem set. Supplemental readings may include:

• An essay on robust systems.
• Michael Ernst's paper on predicate dispatch.
• Gregor J. Kiczales and Luis H. Rodriguez's paper on Efficient Method Dispatch in PCL.
• Y-operators: y-op.
• Matching and Rules in Algebra
  • Fateman on Semantic Match
  • Horowitz on Integration of Rational Functions
  • Martin and Fateman on MACSYMA
  • Moses on simplification
  • Moses on symbolic integration
  • Coroutines with continuations Coroutines
• From Lectures on Logic
  • Logic directory.
• Keith Winstein on Statistics
• Bill Martin's paper on Hash coding schemes that respect the algebraic properties of functions.
  Also chapter VII of Martin's PhD dissertation.
• Guy Steele's 2009 lecture on parallelism
• Guy Steele's 2011 lecture on parallelism
• Guy Steele's 2017 lecture on notation
• Propagation, Dependencies and Backtracking
  • Sussman and Stallman on Electrical Circuits
  • Stallman and Sussman on Dependency-Directed Backtracking
• Propagator Language and System
  • Alexey Radul and Gerald Jay Sussman The Art of the Propagator.
  • Alexey Radul's PhD Thesis on Propagators.
  • Propagator System Documentation.
  • Propagator System code and documentation tarball.
  • Sussman and Steele on Constraints
  • Guy Steele's PhD thesis on Constraint Propagation Language.