Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library.

David G. Richardson, Werner Krandick

Browse the full CASC paper archive.