4 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Matt Kaufmann, Yahya Sohail, Warren A. Hunt
This extended abstract outlines an ACL2 feature, attach-stobj, that first appeared in ACL2 Version 8.6 (October, 2024). This feature supports different executable operations for a…