16 citations · 20 across the 4 of their papers we have counts for
1 paper · 1 filter
Shilpi Goel, Warren A Hunt, Matt Kaufmann
We introduce a new ACL2 feature, the abstract stobj, and show how to apply it to modeling the instruction set architecture of a microprocessor. Benefits of abstract stobjs over tra…