{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

l3 - Lecture 3 Foundation of Data Flow Analysis I II III IV...

Info icon This preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon
Lecture 3 Foundation of Data Flow Analysis I Semi-lattice (set of values, meet operator) II Transfer functions III Correctness, precision and convergence IV Meaning of Data Flow Solution Reading: Chapter 9.3
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
I. Purpose of a Framework Purpose 1 Prove properties of entire family of problems once and for all Will the program converge? What does the solution to the set of equations mean? Purpose 2: Aid in software engineering: re-use code M. Lam CS243: Foundation of Data Flow 2
Image of page 2
The Data-Flow Framework Data-flow problems (F, V, ) are defined by A semi-lattice domain of values V meet operator : V x V V A family of transfer functions F: V V M. Lam CS243: Foundation of Data Flow 3
Image of page 3

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Semi-lattice: Structure of the Domain of Values A semi-lattice S = <a set of values V , a meet operator > Properties of the meet operator idempotent: x x = x commutative: x y = y x associative: x ( y z ) = ( x y ) z Examples of meet operators ? Non-examples ? M. Lam CS243: Foundation of Data Flow 4
Image of page 4
Example of a Semi-Lattice Diagram (V , ) : V = { x | such that x {d 1 ,d 2 ,d 3 }}, = U x y = first common descendant of x & y A meet semi-lattice is bounded if there exists a top element T, such that x T = x for all x. A bottom element exists, if x = for all x. M. Lam CS243: Foundation of Data Flow 5 {} (T) {d 1 } {d 2 } {d 3 } {d 1 ,d 2 } {d 1 ,d 3 } {d 2 ,d 3 } {d 1 ,d 2 ,d 3 } ( ) important
Image of page 5

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Meet Semi-Lattices vs Partially Ordered Sets A meet-semilattice is a partially ordered set which has a meet (or greatest lower bound ) for any nonempty finite subset. Greatest lower bound: x y = First common descendant of x & y Largest: top element T, if x T = x for all x. Smallest: bottom element , if x = for all x.
Image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern