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: | , |
---|---|
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 |
_version_ | 1811313738320445440 |
---|---|
author | Matt Kaufmann J Strother Moore |
author_facet | Matt Kaufmann J Strother Moore |
author_sort | Matt Kaufmann |
collection | DOAJ |
description | 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 discovered in everyday practice. |
first_indexed | 2024-04-13T11:00:03Z |
format | Article |
id | doaj.art-8d64c41a8472453996c2fdd11afb5875 |
institution | Directory Open Access Journal |
issn | 2075-2180 |
language | English |
last_indexed | 2024-04-13T11:00:03Z |
publishDate | 2013-04-01 |
publisher | Open Publishing Association |
record_format | Article |
series | Electronic Proceedings in Theoretical Computer Science |
spelling | doaj.art-8d64c41a8472453996c2fdd11afb58752022-12-22T02:49:26ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802013-04-01114Proc. ACL2 201351210.4204/EPTCS.114.1Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1Matt KaufmannJ Strother MooreWe 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 discovered in everyday practice.http://arxiv.org/pdf/1304.7855v1 |
spellingShingle | Matt Kaufmann J Strother Moore Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 Electronic Proceedings in Theoretical Computer Science |
title | Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 |
title_full | Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 |
title_fullStr | Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 |
title_full_unstemmed | Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 |
title_short | Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 |
title_sort | enhancements to acl2 in versions 5 0 6 0 and 6 1 |
url | http://arxiv.org/pdf/1304.7855v1 |
work_keys_str_mv | AT mattkaufmann enhancementstoacl2inversions5060and61 AT jstrothermoore enhancementstoacl2inversions5060and61 |