209
click to vote
ACL2
2006
ACM
16 years 10 days ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...