Dependence Abstractions