Compact Encodings of List Structure
ACM Transactions on Programming Languages and Systems (TOPLAS)
Overview and status of DoradoLisp
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Hashing LEMMAs on time complexities with applications to formula manipulation
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
CPC (Cyclic Pipeline Computer)-an Architecture Suited for Josephson and Pipelined-Memory Machines
IEEE Transactions on Computers
Run-time checking in Lisp by integrating memory addressing and range checking
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Lively linear Lisp: “look ma, no garbage!”
ACM SIGPLAN Notices
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
In memoriam: Professor Eiichi Goto
ACM SIGSAM Bulletin
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
A compressed format for collections of phylogenetic trees and improved consensus performance
WABI'05 Proceedings of the 5th International conference on Algorithms in Bioinformatics
| Hi-index | 0.00 |
Design of a 10 MIPS Lisp machine used for symbolic algebra is presented. Besides incorporating the hardware mechanisms which greatly speed up primitive Lisp operations, the machine is equipped with parallel hashing hardware for content addressed associative tabulation and a very fast multiplier for speeding up both arithmetic operations and fast hash address generation.