Affiliations: Department of Informatics, Vilnius University, 2600 Vilnius, Naugarduko St. 24, Lithuania | Institute of Mathematics and Informatics 2600 Vilnius, Akademijos St. 4, Lithuania | Department of Informatics, University of Bergen, Høyteknologisenteret, N-5020 Bergen, Norway
Note: [] This paper extends the comparison of two approaches first contributed to the 6th NWPT in Aarhus, Denmark (Čyras and Haveraaen, 1994). 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.
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.
Keywords: recurrence relation, loop program synthesis, data dependency graph, architecture of software packages, program module specification
DOI: 10.3233/INF-1995-6403
Journal: Informatica, vol. 6, no. 4, pp. 397-444, 1995
