Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains

@inproceedings{Giavitto2001DeclarativeDO,
  title={Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains},
  author={Jean-Louis Giavitto and Olivier Michel},
  booktitle={PPDP},
  year={2001}
}
We introduce a new high-level programming abstraction which extends the concept of data collection. The new construct, called GBF (for Group Based Data-Field), is based on an algebra of index sets, called a shape, and a functional extension of the array type, the field type. Shape constructions are based on group theory and put the emphasis on the logical neighborhood of the data structure elements. A field is a function from a shape to some set of values. In this study, we focus on regular… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…