Research Article Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs

License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. This paper introduces new approaches for the analysis of frequent statement and dereference elimination for imperative and object-oriented distributed programs running on parallel machines equippedwith hierarchicalmemories.The paper uses languages whose address spaces are globally partitioned. Distributed programs allow defining data layout and threads writing to and reading from other threadmemories.Three type systems (for imperative distributed programs) are the tools of the proposed techniques.The first type systemdefines for every programpoint a set of calculated (ready) statements andmemory accesses.The second type systemuses an enriched version of types of the first type system and determines which of the ready statements and memory accesses are used later in the program.The third type system uses the information gather so far to eliminate unnecessary statement computations and memory accesses (the analysis of frequent statement and dereference elimination). Extensions to these type systems are also presented to cover object-oriented distributed programs. Two advantages of our work over related work are the following. The hierarchical style of concurrent parallel computers is similar to the memory model used in this paper. In our approach, each analysis result is assigned a type derivation (serves as a correctness proof). 1