Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
TAO: a harmonic mean of Lisp, Prolog and Smalltalk
ACM SIGPLAN Notices
Lisp machine manual
Objects in concurrent logic programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A concurrent multiple-paradigm list processor TAO/ELIS
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Firmware approach to fast Lisp interpreter
ACM SIGMICRO Newsletter
Tachyon Common Lisp: an efficient and portable implementation of CLtL2
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Firmware approach to fast Lisp interpreter
MICRO 20 Proceedings of the 20th annual workshop on Microprogramming
History of programming languages---II
Hi-index | 0.00 |
This paper describes the design issue, implementation and performance of a Lisp called TAO for the Lisp machine ELIS. TAO is a dialect of Lisp which unifies an object-oriented programming paradigm and a logic programming paradigm with a procedural programming paradigm. Since the interpreter is implemented fully by microcode, interpreted code runs faster than most of other dedicated machines.