ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Pure and Really Simple Initial Functional Algebraic Language
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
The Bath concurrent LISP machine
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Compilation techniques for a control-flow concurrent LISP system
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Lisp machine manual
| Hi-index | 0.00 |
In order to make a substantial improvement in the performance of algebra systems it will eventually be necessary to use a parallel execution system. This paper considers one approach to detecting parallelism, an automatic method related to compilation, and applies it to REDUCE, and to the factoriser in particular. The conclusions are preliminary, and this is only a small step on a long road.