Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
Logic in Computer Science
2025-08-04 v1 Mathematical Software
Abstract
We illustrate the power of partial-encapsulate, showing how it is used in the implementation of floating-point operations in ACL2.
Cite
@article{arxiv.2508.00015,
title = {Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2},
author = {Matt Kaufmann and J Strother Moore},
journal= {arXiv preprint arXiv:2508.00015},
year = {2025}
}
Comments
In Proceedings ACL2 2025, arXiv:2507.18567