Semantic Array Dataflow Analysis

This paper revisits the polyhedral model’s key analysis, dependency analysis. Thesemantic formulation we propose allows a new definition of the notion of dependency and thecomputation of the dependency set.We argue that this new formalization will later allow for a new vision of the polyhedral modelin terms of semantics, which will help us fully characterize its expressivity and applicability. Wealso believe that abstract semantics will be the key for designing an approximate abstract modelin order to enhance the applicability of the polyhedral model.Dans ce rapport de recherche nous réexprimons un des calculs-clefs du modèlepolyédrique: le calcul des dépendances, en termes d’opérations sur une sémantique concrèteimpérative des programmes