Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1
We report on highlights of the ACL2 enhancements introduced in ACL2 releases since the 2011 ACL2 Workshop. Although many enhancements are critical for soundness or robustness, we focus in this paper on those improvements that could benefit users who are aware of them, but that might not be discovere...
Main Authors: | Matt Kaufmann, J Strother Moore |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2013-04-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1304.7855v1 |
Similar Items
-
Exploring word for windows : version 6.0 /
by: Grauer, Robert T., 1945-, et al.
Published: (1994) -
MACINTOSH system - version 6.0. [disket]
Published: (1988) -
Teach yourself Word for Windows version 6.0 /
by: 395362 Cornell, Gary
Published: (1994) -
Introduction to J++ (Version 6.0) [compact disc] /
by: 184240 Goody, Roy W.
Published: (2003) -
Programming in visual basic version 6.0 update edition /
by: 217592 Bradley, Julia Case, et al.
Published: (2002)