A Categorical Model of Array Domains

Gaetan Hains (1) , John Mullins (1)

1 LIP - Laboratoire de l'Informatique du Parallélisme

We apply the theory of generalised concrete data structures (or gCDSs) to construct a cartesian closed category of concrete array structures with explicit data layout. The technical novelty is the array gCDS preserved by exponentiation whose isomorphisms relate higher-order objects to their local parts. This work is part of our search of semantic foundations for data-parallel functional programming.

Nous construisons une catégorie cartésienne fermée de structures de données concrètes explicitement réparties Les principaux isomorphismes font correspondre tout objet à ses parties locales Ce travail s'inscrit dans notre recherche de fondements sémantiques pour la programmation fonctionnelle data-parallèle

Mots clés: Concrete Data Structures; Denotational Semantics; Distributed Arrays; Functional Languages; Parallel Programming

Mots clés: programmation parallèle; langages fonctionnels; tableaux repartis; sémantique dénotationnelle; structures concrètes

Domaines: Informatique [cs]

Gaetan Hains, John Mullins. A Categorical Model of Array Domains. [Research Report] LIP RR-1994-43, Laboratoire de l'informatique du parallélisme. 1994, 2+9p. ⟨hal-02102046⟩