Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library

Author

David G. Richardson (M.S. Thesis)

Abstract