INFORMATICA

Informatica

0868-49520868-4952

INF9103

10.3233/INF-1998-9103

Research article

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

Čyras

Vytautas

Vytautas.Cyras@maf.vu.ltDepartment of Informatics, Vilnius University, Naugarduko 24, 2600 Vilnius, LithuaniaInstitute of Mathematics and Informatics, 2600 Vilnius, Akademijos 4, Lithuania

^✩

The research was supported in part by the Research Council of Norway under the Nordic–Baltic scholarship programme, and in part by the University of Bergen.

01011998

91215001011998

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.

Keywordsrecurrence relationdata dependence graphcomposition of loop programsdata dependence in loops