An architecture for mostly functional languages
Tom Knight · 1986
The addition of small amounts of special purpose hardware to conventional machines increases the efficiency of Lisp systems with dynamic type checks.In a similar way, this paper proposes additional hardware to dynamically check the correctness of parallel execution of Lisp programs.The key idea is the use of fully associative caches as a means of maintaining and enforcing a set of dependencies between portions of the program.