Specification of PARTITA analyses

Laurent Hascoet
Simulog SA

Report, EUREKA project 933 EUROTOPS, 1994 (29 pages)

Abstract: PARTITA is the program analysis and parallelization component of the FORESYS environment for Fortran developments. We describe the internal program representation of PARTITA and the static data-flow analysis that are performed by PARTITA. The internal representation is based on Abstract Syntax Trees and Flow Graphs. The analyses include read-write analysis, constraint propagation, killed array analysis, induction variables detection, and finally data-dependence analysis that builds a data-dependence graph. The parallelization algorithms inside PARTITA are described in a companion report.

Keywords: Development environments, Fortran, Static analyses, Data-Flow analyses, Data-Dependences, Parallelization

Full text (pdf)

  author = {Hasco\"et, L.},
  title = {Specification of PARTITA analyses},
  type = {Report, EUREKA project 933 EUROTOPS},
  number = 1,