Assertion: polyhedron's element | /r/HasProperty | array region analysis
Facets:
Source sentences:
text: Program analysis Dependence analysis Array expansion and single assignment transformation Liveness and reuse/locality analysis of array elements Array region analysis and approximations