Proof development for Separation Algebras, Share Accounting, and Indirection Theory

Andrew W. Appel, Robert Dockins, Aquinas Hobor

July 2009

See the SUMMARY file for an explanation. Note in particular the HOW TO BUILD section.