A Categorical Model of Array Domains - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1994

A Categorical Model of Array Domains

(1) , (1)
1

Résumé

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
Fichier principal
Vignette du fichier
RR1994-43.pdf (211.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02102046 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02102046 , version 1

Citer

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⟩
10 Consultations
15 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More