The Design of the SACLIB/PACLIB Kernels

This paper describes the design of the runtime systems of two variants of the SAC-2 computer algebra library: SACLIB and PACLIB. SACLIB is a C version of SAC-2, supporting automatic garbage collection and embeddability. PACLIB is a parallel version of SACLIB, supporting light-weight concurrency, non-determinism, virtual tasks, and parallel garbage collection.