Programming with Persistent Data