5 citations · 18 across the 5 of their papers we have counts for
1 paper · 1 filter
Matt Kaufmann, J Strother Moore
Iterative algorithms are traditionally expressed in ACL2 using recursion. On the other hand, Common Lisp provides a construct, loop, which -- like most programming languages -- pro…