26 search results - page 1 / 6 » acl2 2006 |
ACL2
2006
ACM
14 years 6 days ago
2006
ACM
ACL2
2006
ACM
13 years 10 months ago
2006
ACM
ACL2
2006
ACM
14 years 6 days ago
2006
ACM
ACL2
2006
ACM
14 years 6 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
TPHOL
2006
IEEE
14 years 7 days ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...