Laboratoire de l'informatique du parallélisme; Hains, Gaetan; Mullins, John
(1994-12-27)
(eng) 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 ...