[yomritoyj]

I guess the challenge is to do it efficiently in the presence of pointers, implicit or explicit.

[brians]

There's great work on this called differential dataflow. You have to trace at a finer grain than cells, but can then avoid lots of recalculation.