Contribution: PersistentUnionFind
Persistent Union Find
Authors
- Jean-Christophe Filliâtre
Description
Correctness proof of the Ocaml implementation of a persistent union-find data structure. See http://www.lri.fr/~filliatr/puf/ for more details.
Keywords
program verification, union find, data structures, tarjan