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

David G. Richardson Werner Krandick

Published in: CASC (2005)

Keyphrases

computer algebra
theorem prover
formal semantics
memory requirements
programming language
logic programming
main memory
computational power
computing power
software systems
memory usage
constraint language
level parallelism
limited memory
memory management
computer algebra systems