239
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
We have written a new records library for modelling fixedsize arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from ad