Abstract

Most of the existing high-level array processing languages support a fixed set of pre-defined array operations and a few higher-order functions for constructing new array operations from existing ones. In this paper, we discuss a more general approach made feasible by Sac (for Single Assignement C), a functional variant of C. Sac provides a meta-level language construct called with- loop which may be considered a sophisticated variant of the forall-loops in HPF or of array comprehensions in functional languages. It allows for the element-wise specification of high-level operations on arrays of any dimensionality: any set of high-level array operations can be specified by means of with-loops and be made available in a library. This does not only improve the flexibility of specifications, but also simplifies the compilation process. By means of a few examples it is shown that the highlevel operations that are typically available in array processing languages such as Apl or Fortran90 ...

Citations

609	High-Performance Compilers for Parallel Computing - Wolfe
405	Supercompilers for Parallel and Vector Computers - Zima, Chapman - 1990
295	Advanced compilers optimizations for supercomputers - Padua, Wolfe - 1986
16	With-loop-folding in Sac-condensing consecutive array operations. IFL - Scholz - 1998
11	Single Assignment C -- Entwurf und Implementierung einer funktionalen C-Variante mit spezieller Unterstutzung shape-invarianter ArrayOperationen - Scholz - 1996
10	On Programming Scientific Applications in SAC - A Functional Language Extended by a Subsystem for High-Level Array Operations - Scholz - 1996
4	Mullin: A Mathematics of Arrays - Restifo - 1988
3	for UR-6-85-5-A, version 1.2 - Manual
1	An Overview of Sac -- a Functional Language for Numerical Applications - Scholz - 1997