Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
This paper deals with a case study in the formal derivation of data-parallel algorithms by means of program transformations. Particular emphasis is on the observation that a careful choice of suitable operations on abstract data structures and a thorough investigation of their algebraic properties can reduce substantial parts of the development activities to pure algebraic calculation.