Interpreter maintains mapping from variables to states

Dataflow analysis works with abstractions of sets of states–these are elements of a lattice

Keep in mind that they are just representations of certain sets of states

We often maintain a lattice element for each variable

• product lattice of lattices