A Cost Calculus for Parallel Functional Programming

Building a cost calculus for a parallel program development environment is difficult because of the many degrees of freedom available in parallel implementations and because of difficulties with compositionality. We present a strategy for building cost calculi for skeleton-based programming language...

Full description

Saved in:
Bibliographic Details
Published in:Journal of parallel and distributed computing Vol. 28; no. 1; pp. 65 - 83
Main Authors: Skillicorn, D.B., Cai, W.
Format: Journal Article
Language:English
Published: San Diego, CA Elsevier Inc 01.07.1995
Elsevier
Subjects:
Algorithmics. Computability. Computer arithmetics
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Programming languages
Software
Software engineering
Theoretical computing
Functional language
Parallel programming
Software development
Programming language
Strategy
Parallel computation
Functional programming
Implementation
Mathematical programming
ISSN:0743-7315, 1096-0848
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Building a cost calculus for a parallel program development environment is difficult because of the many degrees of freedom available in parallel implementations and because of difficulties with compositionality. We present a strategy for building cost calculi for skeleton-based programming languages which can be used for derivational software development and which deals in a pragmatic way with the difficulties of composition. The approach is illustrated for the Bird-Meertens theory of lists, a parallel functional language with an associated equational transformation system.
ISSN:0743-7315
1096-0848
DOI:10.1006/jpdc.1995.1089