No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.

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.