most citedHardware/Software Co-Assurance using the Rust Programming Language and ACL2

5 citations · 5 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2023★ 1 cited

Verification of a Rust Implementation of Knuth's Dancing Links using ACL2

David S. Hardin

Dancing Links connotes an optimization to a circular doubly-linked list data structure implementation which provides for fast list element removal and restoration. The Dancing Link…