Abstract

We construct arrays as a categorical data type and show how the new data type can be used for program derivation and programming (especially in parallel). We show how some problems such as wavefronts and histograms, known to be difficult, can be described using the type. Keywords: Parallel programming languages -- language constructs, semantics Design of parallel programs -- formal program development functional programming, abstract data types, category theory, array theory. Abstract: We construct arrays as a categorical data type and show how the new data type can be used for program derivation and programming (especially in parallel) . We show how some problems such as wavefronts and histograms, known to be difficult, can be described using the type. 1 Introduction Arrays are an important data type and are present in most programming languages, both imperative and functional. However, a clean semantic understanding of the type of "arrays" has taken a long time. In particular, th...

Citations