This story draft by @escholar has not been reviewed by an editor, YET.
Verification of a Rust Implementation of Knuth’s Dancing Links using ACL2: Related Work
Author:
(1) David S. Hardin, Cedar Rapids, IA USA ([email protected]).
Table of Links
3 The Rust Programming Language
4 RAC: Hardware/Software Co-Assurance at Scale
5.1 Restricted Algorithmic Rust
6 Dancing Links in Rust and 6.1 Definitions
9 Acknowledgments and References
This paper is available on arxiv under CC BY 4.0 DEED license.
L O A D I N G
. . . comments & more!
. . . comments & more!
