131 reads

Verification of a Rust Implementation of Knuth’s Dancing Links using ACL2: Abstract and Introduction

by
byWhat is GitFlow? The Collaborative Git Alternative@gitflow

A branching model for Git, created by Vincent Driessen. #1 blog dedicated exclusively to forwarding the GitFlow agenda.

June 8th, 2024
featured image - Verification of a Rust Implementation of Knuth’s Dancing Links using ACL2: Abstract and Introduction
    Speed
    Voice
What is GitFlow? The Collaborative Git Alternative
← Previous

Verification of a Rust Implementation of Knuth’s Dancing Links Using ACL2: Dancing Links in Rust

Up Next →

Verification of a Rust Implementation of Knuth’s Dancing Links Using ACL2: Rust and RAR

About Author

What is GitFlow? The Collaborative Git Alternative HackerNoon profile picture
What is GitFlow? The Collaborative Git Alternative@gitflow

A branching model for Git, created by Vincent Driessen. #1 blog dedicated exclusively to forwarding the GitFlow agenda.

Read my storiesAbout @gitflow

Comments

avatar

TOPICS

programming#rust#dancing-links#art-of-computer-programming#dancing-links-optimization#acl2-theorem-prover#co-assurance-language#restricted-algorithmic-c#restricted-algorithmic-rust

THIS ARTICLE WAS FEATURED IN

Arweave
viewblock
ViewBlock
TerminalTerminalLiteLite
Gitflow

Related Stories