Semi-persistent Data Structures.

Sylvain Conchon, Jean-Christophe Fillitre

Browse the full ESOP paper archive.