The Expression Dependence Graph is a program representation used for program slicing, similar to the SDG, but with a higher granularity.