26 search results - page 1 / 6 » acl2 2006 |
ACL2
2006
ACM
13 years 10 months ago
2006
ACM
ACL2
2006
ACM
13 years 8 months ago
2006
ACM
ACL2
2006
ACM
13 years 10 months ago
2006
ACM
ACL2
2006
ACM
13 years 10 months 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
13 years 10 months 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...