A monadic calculus for parallel costing of a functional language of arrays

C. B. Jay; M. I. Cole; M. Sekanina; P. Steckler

doi:10.1007/BFb0002796

A monadic calculus for parallel costing of a functional language of arrays

C. B. Jay, M. I. Cole, M. Sekanina, P. Steckler

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

VEC is a higher-order functional language of nested arrays, which includes a general folding operation. Static computation of the shape of its programs is used to support a compositional cost calculus basedson a cost monad. This, in turn, is based on a cost algebra, whose operations may be customized to handle different cost regimes, especially for parallel programming. We present examples based on sequential costing and on the PRAM model of parallel computation. The latter has been implemented in Haskell, and applied to some linear algebra examples.

Original language	English
Title of host publication	Euro-Par'97 Parallel Processing
Subtitle of host publication	Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings
Editors	Christian Lengauer, Martin Griebl, Sergei Gorlatch
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	650-661
Number of pages	12
ISBN (Electronic)	978-3-540-69549-3
ISBN (Print)	978-3-540-63440-9
DOIs	https://doi.org/10.1007/BFb0002796
Publication status	Published - 1997

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	1300
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0002796

http://link.springer.com/chapter/10.1007%2FBFb0002796

Cite this

Jay, C. B., Cole, M. I., Sekanina, M., & Steckler, P. (1997). A monadic calculus for parallel costing of a functional language of arrays. In C. Lengauer, M. Griebl, & S. Gorlatch (Eds.), Euro-Par'97 Parallel Processing: Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings (pp. 650-661). (Lecture Notes in Computer Science; Vol. 1300). Springer. https://doi.org/10.1007/BFb0002796

Jay, C. B. ; Cole, M. I. ; Sekanina, M. et al. / A monadic calculus for parallel costing of a functional language of arrays. Euro-Par'97 Parallel Processing: Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings. editor / Christian Lengauer ; Martin Griebl ; Sergei Gorlatch. Berlin, Heidelberg : Springer, 1997. pp. 650-661 (Lecture Notes in Computer Science).

@inproceedings{5b23530be73b457fb58afddd2d10f524,

title = "A monadic calculus for parallel costing of a functional language of arrays",

abstract = "VEC is a higher-order functional language of nested arrays, which includes a general folding operation. Static computation of the shape of its programs is used to support a compositional cost calculus basedson a cost monad. This, in turn, is based on a cost algebra, whose operations may be customized to handle different cost regimes, especially for parallel programming. We present examples based on sequential costing and on the PRAM model of parallel computation. The latter has been implemented in Haskell, and applied to some linear algebra examples.",

author = "Jay, {C. B.} and Cole, {M. I.} and M. Sekanina and P. Steckler",

year = "1997",

doi = "10.1007/BFb0002796",

language = "English",

isbn = "978-3-540-63440-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "650--661",

editor = "Christian Lengauer and Martin Griebl and Sergei Gorlatch",

booktitle = "Euro-Par'97 Parallel Processing",

address = "United Kingdom",

}

Jay, CB, Cole, MI, Sekanina, M & Steckler, P 1997, A monadic calculus for parallel costing of a functional language of arrays. in C Lengauer, M Griebl & S Gorlatch (eds), Euro-Par'97 Parallel Processing: Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings. Lecture Notes in Computer Science, vol. 1300, Springer, Berlin, Heidelberg, pp. 650-661. https://doi.org/10.1007/BFb0002796

A monadic calculus for parallel costing of a functional language of arrays. / Jay, C. B.; Cole, M. I.; Sekanina, M. et al.
Euro-Par'97 Parallel Processing: Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings. ed. / Christian Lengauer; Martin Griebl; Sergei Gorlatch. Berlin, Heidelberg: Springer, 1997. p. 650-661 (Lecture Notes in Computer Science; Vol. 1300).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A monadic calculus for parallel costing of a functional language of arrays

AU - Jay, C. B.

AU - Cole, M. I.

AU - Sekanina, M.

AU - Steckler, P.

PY - 1997

Y1 - 1997

N2 - VEC is a higher-order functional language of nested arrays, which includes a general folding operation. Static computation of the shape of its programs is used to support a compositional cost calculus basedson a cost monad. This, in turn, is based on a cost algebra, whose operations may be customized to handle different cost regimes, especially for parallel programming. We present examples based on sequential costing and on the PRAM model of parallel computation. The latter has been implemented in Haskell, and applied to some linear algebra examples.

AB - VEC is a higher-order functional language of nested arrays, which includes a general folding operation. Static computation of the shape of its programs is used to support a compositional cost calculus basedson a cost monad. This, in turn, is based on a cost algebra, whose operations may be customized to handle different cost regimes, especially for parallel programming. We present examples based on sequential costing and on the PRAM model of parallel computation. The latter has been implemented in Haskell, and applied to some linear algebra examples.

U2 - 10.1007/BFb0002796

DO - 10.1007/BFb0002796

M3 - Conference contribution

SN - 978-3-540-63440-9

T3 - Lecture Notes in Computer Science

SP - 650

EP - 661

BT - Euro-Par'97 Parallel Processing

A2 - Lengauer, Christian

A2 - Griebl, Martin

A2 - Gorlatch, Sergei

PB - Springer

CY - Berlin, Heidelberg

ER -

Jay CB, Cole MI, Sekanina M, Steckler P. A monadic calculus for parallel costing of a functional language of arrays. In Lengauer C, Griebl M, Gorlatch S, editors, Euro-Par'97 Parallel Processing: Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings. Berlin, Heidelberg: Springer. 1997. p. 650-661. (Lecture Notes in Computer Science). doi: 10.1007/BFb0002796

A monadic calculus for parallel costing of a functional language of arrays

Abstract

Publication series

Access to Document

Fingerprint

Cite this