David G. Richardson, Werner Krandick. Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library. In Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings. Volume 3718 of Lecture Notes in Computer Science, pages 330-343, Springer, 2005. [doi]
Abstract is missing.