Identifying high-level dependence structures using slice-based dependence analysis