Performance and evaluation of LISP systems
Performance and evaluation of LISP systems
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Common LISP: the language (2nd ed.)
Common LISP: the language (2nd ed.)
Tabulation Techniques for Recursive Programs
ACM Computing Surveys (CSUR)
On programming of arithmetic operations
Communications of the ACM
Function memoization and unique object representation for ACL2 functions
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
LUV '94 Papers of the fourth international conference on LISP users and vendors
Hi-index | 0.00 |
We show how to speed up the Tak Benchmark by an order of magnitude---5X faster than the Cray-1---on a Common Lisp system (40MHz 80860-based OKIstation) using memoizing. The list-based Takl Benchmark improves even more---30X faster than the Cray-1. Given the speed attainable through memoizing, the possibility of further speedups using parallelism seems unlikely.