Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Semi-persistent arrays
Implemented by Jason Hemann and Dan Friedman.
Based on a design by Sylvain Conchon and Jean-Christophe Filliâtre.
See A Persistent Union-Find Data Structure. In ACM SIGPLAN Workshop on ML, pages 37-45, Freiburg, Germany, October 2007.
This implementation extends the paper by allowing the array to be expanded.