Home » forums » LtU Forum

Lattices - Partial orders with infimum and supremum

Some weeks ago I blogged about order structure and lemmas which can be proved within Modern Eiffel.

Today I have published a continuation which talks about lattices and some lemmas about lattice theory.

By hbrandl at 2012-07-16 13:55 | LtU Forum | previous forum topic | next forum topic | other blogs | 5004 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

But does this continuation have unlimited extent?

And is it delimited?

By johnwcowan at Mon, 2012-07-16 15:06 | login or register to post comments

It takes some time to build

It takes some time to build the base for verifiable software. But it is certainly not unlimited.

By hbrandl at Mon, 2012-07-16 15:44 | login or register to post comments

Logic and lattices for distributed programming.

A good application of lattices is in this paper from Neil Conway et al of the Bloom group at Berkeley.

Logic and Lattices for Distributed Programming

On a similar note, Lindsey Kuper's draft POPL submission on A Lattice-Theoretical Approach to Deterministic Parallelism with Shared State uses lattices to generalize single-assignment to monotonically-increasing assignment.

[Update: corrected link]

By Sriram Srinivasan at Tue, 2012-07-17 14:11 | login or register to post comments

The link to the first paper

The link to the first paper (Logic and lattices for distributed programming) does not work (page not found). Maybe a typo.

By hbrandl at Tue, 2012-07-17 15:27 | login or register to post comments

I have found a paper with

I have found a paper with the same title at this link. Is this the paper you have meant?

By hbrandl at Tue, 2012-07-17 15:56 | login or register to post comments