Journal:Informatica
Volume 9, Issue 1 (1998): Special Issue on Programming Theory, Information System Engineering, Software Engineering, and Artificial Intelligence, pp. 21–50
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.
Journal:Informatica
Volume 6, Issue 4 (1995): Special Issue on Information Systems and Software Systems Engineering, pp. 397–444
Abstract
We present two methods for expressing computations based on recurrence relations and discuss their relative merits. One method, the structural blanks approach, is built on top of traditional programming languages like Fortran or Pascal. It aims at program reuse and bases a certain architecture of software packages. The other method, the constructive recursive approach, is based on recursive relations over graphs.