Tralfamadore : memory reconstruction, declarative dependency resolution, and parallelism