School of Computing

Transformational derivation of (parallel) programs using skeletons

E.A. Boiten, A.M. Geerling, and H.A. Partsch

In H. Wijshoff, editor, Computing Science in the Netherlands 1993, pages 182-196, Amsterdam, November 1993. Stichting Mathematisch Centrum.

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 here.



Bibtex Record

@conference{171,
author = {E.A. Boiten and A.M. Geerling and H.A. Partsch},
title = {Transformational derivation of (parallel)             programs using skeletons},
month = {November},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/171},
    ISBN = {90-6196-430X},
    address = {Amsterdam},
    booktitle = {Computing Science in the Netherlands 1993},
    editor = {H. Wijshoff},
    publisher = {Stichting Mathematisch Centrum},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014