|
" Research directions in parallel functional programming / "
Kevin Hammond and Greg Michaelson (eds.)
Document Type
|
:
|
BL
|
Record Number
|
:
|
603647
|
Doc. No
|
:
|
GB9977120b432866
|
Title & Author
|
:
|
Research directions in parallel functional programming /\ Kevin Hammond and Greg Michaelson (eds.)
|
Page. NO
|
:
|
xxvi, 496 pages :: illustrations ;; 24 cm
|
ISBN
|
:
|
1852330929
|
|
:
|
: 9781852330927
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references (pages 431-463) and index
|
Contents
|
:
|
1. Introduction -- 2. Foundations -- 3. Programming Language Constructs -- 4. Proof -- 5. Realisations for Strict Languages -- 6. Realisations for Non-Strict Languages -- 7. Data Parallelism -- 8. Cost Modelling -- 9. Shaping Distributions -- 10. Performance Monitoring -- 11. Memory Performance of Dataflow Programs -- 12. Portability of Performance in the BSP Model -- 13. Algorithmic Skeletons -- 14. Coordination Languages -- 15. Parallel and Distributed Programming in Concurrent Clean -- 16. Functional Process Modelling -- 17. Validating Programs in Concurrent ML -- 18. Explicit Parallelism -- 19. Large Scale Functional Applications -- 20. Summary
|
Abstract
|
:
|
"This volume provides a survey of research trends in parallel functional programming. It includes contributions from leading researchers and practitioners throughout the world, including the U.S. and Canada. The first part of the book gives a comprehensive introduction to fundamental issues such as foundations, programming constructs, proof, architectures, and implementations. The second provides summaries of research areas which are either of particular interest at the moment, or which promise to lead to key developments in the future."--Jacket
|
Subject
|
:
|
Parallel programming (Computer science)-- Research
|
Subject
|
:
|
Functional programming (Computer science)-- Research
|
Dewey Classification
|
:
|
005.2/75
|
LC Classification
|
:
|
QA76.642.R48 1999
|
Added Entry
|
:
|
Hammond, Kevin
|
|
:
|
Michaelson, Greg,1953-
|
| |