JFP revisions: move arbitrary updates over to lambdaLVar

Open lkuper opened this issue 10 years ago • 3 comments

See my notes on the reviews for some of the justification for this change.

I think it actually won't be that much work to update the existing lambdaLVar determinism proof to accommodate arbitrary update operations. In fact, I don't think there's even any more proving to do; it's just a matter of rearranging things I've already written. Famous last words, maybe...

Nov 24 '15 06:11 lkuper

WIP in the 'generalized-updates' branch.

Dec 01 '15 01:12 lkuper

I'm also gonna bite the bullet and change "lattices" to "posets". It needs to happen. Lattices are just a distraction now that updates don't have to be lubs.

Jul 26 '16 05:07 lkuper

Ok, sounds good! We will sign a pledge to use posets in any future papers in this area ;-).

Jul 30 '16 04:07 rrnewton