A Categorical Model of Array Domains

Abstract : 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.
Document type :
Reports
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal-lara.archives-ouvertes.fr/hal-02102046
Contributor : Colette Orange <>
Submitted on : Wednesday, April 17, 2019 - 9:12:49 AM
Last modification on : Wednesday, November 20, 2019 - 3:13:11 AM

File

RR1994-43.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02102046, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

6

Files downloads

8