Work

Transformational development of data-parallel algorithms: an example

Year: 1994

Type: report

Abstract: 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.

Source: OPen Access Repositorium der Universität Ulm (OPARU) (Ulm University)

DOI: 10.18725/oparu-2440

Author: Partsch, Helmut

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2380498596

Cites: 10

Cited by:

Related to: 10