Data Dependence in Nested Loops in the Structural Blanks Approach to Programming with Recurrences

Abstract

In this paper we examine data dependence in a nested loop programs which are obtained by inserting one loop program into another. This is viewed as the composition of structural modules (S-modules) in the structural blanks (SB) approach. SB is a method for expressing computations based on recurrence relations. It is built on top of traditional programming languages like Fortran or Pascal. SB aims at supporting the transformational development and reuse of program modules that have complex data dependence patterns and provides an architectural framework for software packages.

Keywords

recurrence relation data dependence graph composition of loop programs data dependence in loops

Get full access to this article

View all access options for this article.