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.
No takes yet. Share an insight, caveat, or question.
Tom Knight (1986) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: