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.