Distributed Systems Group

Homepage About Us People Research Teaching Services

Lattice Tutorial

This tutorial gives an introduction to a number of concepts of lattice theory, expecially into those needed for understanding data flow analysis. It starts with the basics, requires only little previous knowledge, and tries to illustrate the concepts with concrete examples.

It covers the following topics:

• Binary Relation
• Partial Order Relation
• Partially Ordered Set, Totally Ordered Set
• Least Upper Bound, Greatest Lower Bound
• Lattice, Complete Lattice, Semi-Lattice

Download

lattice_tutorial.pdf (Version 1.0)

Back to Nenad Jovanovic's homepage.

Distributed Systems Group, Technical University of Vienna, Argentinierstrasse 8 / 184-1, A-1040 Vienna / Austria
Copyright 2005 Nenad Jovanovic. All Rights Reserved.