Concrete data structures and functional parallel programming

A framework is presented for designing parallel programming languages whose semantics is functional and where communications are explicit. To this end, Brookes and Geva's generalized concrete data structures are specialized with a notion of explicit data layout to yield a CCC of distributed str...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Theoretical computer science Ročník 258; číslo 1; s. 233 - 267
Hlavní autoři: Hains, Gaétan, Loulergue, Frédéric, Mullins, John
Médium: Journal Article
Jazyk:angličtina
Vydáno: Amsterdam Elsevier B.V 2001
Elsevier
Témata:
Applied sciences
Computer Science
Computer science; control theory; systems
Concrete data structures
Deterministic parallel programming
Exact sciences and technology
Functional programming
Language theory and syntactical analysis
Semantic models
Theoretical computing
Concrete data structures
Functional programming
Semantic models
Deterministic parallel programming
Parallel programming
Semantics
Sequential language
Berry Curien exponential
Concrete data structure
Data structure
Deterministic approach
semantic model
Programming theory
ISSN:0304-3975, 1879-2294
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:A framework is presented for designing parallel programming languages whose semantics is functional and where communications are explicit. To this end, Brookes and Geva's generalized concrete data structures are specialized with a notion of explicit data layout to yield a CCC of distributed structures called arrays. Arrays’ symmetric replicated structures, suggested by the data-parallel SPMD paradigm, are found to be incompatible with sum types. We then outline a functional language with explicitly distributed (monomorphic) concrete types, including higher-order, sum and recursive ones. In this language, programs can be as large as the network and can observe communication events in other programs. Such flexibility is missing from current data-parallel languages and amounts to a fusion with their so-called annotations, directives or meta-languages.
Bibliografie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(00)00010-4