Thanks for the plug, Manuel! Though I must say, meditating on that diagram (which is fundamentally just a doubly linked list, anyway) is probably not the fastest path to enlightenment :-). I'd personally suggest taking a look at Minamide's 1998 POPL Paper, since the first part of my 3-part series is almost exactly an accidental reinvention of that paper.
I like this paper on zippers and dataflow analyses - it explains the benefits nicely in a (very) non-trivial setting.
ReplyDeletehttp://www.cs.tufts.edu/~nr/pubs/zipcfg-abstract.html
Thanks, I'll check it out.
ReplyDeleteThanks for the plug, Manuel! Though I must say, meditating on that diagram (which is fundamentally just a doubly linked list, anyway) is probably not the fastest path to enlightenment :-). I'd personally suggest taking a look at Minamide's 1998 POPL Paper, since the first part of my 3-part series is almost exactly an accidental reinvention of that paper.
ReplyDelete