Transformational derivation of (parallel) programs using skeletons

Boiten, Eerke and Geerling, A.M. and Partsch, H.A. (1993) Transformational derivation of (parallel) programs using skeletons. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)

Abstract

We describe a framework for the derivation of programs for arbitrary (in particular, parallel) architectures, motivated by a generalization of the derivation process for sequential algorithms. The central concept in this approach is that of a skeleton: on the one hand, a higher-order function for targeting transformational derivations at, on the other hand representing an elementary computation on the architecture aimed at. Skeletons thus form a basis for intermediate languages, that can be implemented once and for all, as a process separate from individual program developments. The available knowledge on the derivation of (higher-order) functional programs can be used for deriving parallel ones. In: H. Wijshoff, ed.: Computing Science in the Netherlands 1993, pp. 97-108. Copies on email request or (probably easiest) by clicking ftp://ftp.win.tue.nl/pub/math.prog.construction/skel.ps.Z.

Item Type: Conference or workshop item (UNSPECIFIED)
Uncontrolled keywords: transformational programming, parallelism, skeletons
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 08 Aug 2009 17:02
Last Modified: 13 May 2014 08:35
Resource URI: http://kar.kent.ac.uk/id/eprint/21091 (The current URI for this page, for reference purposes)
  • Depositors only (login required):