CS 4120 PS5

We then define a lattice over the set l a b a b z

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: < +∞ for any integer n. We then define a lattice over the set L = {[a, b] | a, b ∈ Z∗ ∧ a ≤ b} ∪ {⊤}. a. Explain what the element ⊤ represents and why we need it for this analysis. Define the partial order and the meet operator for elements in this lattice (including ⊤). b. Using this lattice to compute ranges of variables will fail in general. Explain why. c. To solve the problems from part (b), we define a lattice L′ = {[a, b] | a, b ∈ {−∞, -k, -2, −1, 0, 1, 2,...,k, +∞} ∧ a ≤ b } ∪ {⊤} (with the same partial order as befo...
View Full Document

This note was uploaded on 02/07/2013 for the course CS 4120 taught by Professor Andrewmyers during the Fall '09 term at Cornell.

Ask a homework question - tutors are online