Comment by theideasmith

Does this only work for mathematical programs? I don't understand how this would work for more general computations, involving loops, writes to files, etc.