Correct translation of data parallel assignment onto array processors

DOI10.1007/BF01211307MaRDI QIDQ1336950zbMATH OpenFDO

Authors V. Pereyra

Publication date 26 October 1994

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01211307

zbMATH Keywords

data parallel computationtranslation mechanism

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of compilers and interpreters (68N20)

Recommendations

• Reasoning about data-parallel array assignment
• Semantics for data parallel computation
• Array processing machines: an abstract model
• Parallelization of sequential programs: distribution of arrays among processors and structurization of communications
• Algorithms for assignment problems on an array processor

Cites work

• scientific article; zbMATH DE number 3688765 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 48041 (Why is no real title available?)
• scientific article; zbMATH DE number 107949 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3628373 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• A Language for Array and Vector Processors
• A practical hierarchical model of parallel computation. I: The model
• A systolic LRU processor and its top-down development
• An axiomatic treatment of SIMD assignment
• Consistent and complementary formal theories of the semantics of programming languages
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• Parallel Computers 2
• Parallel Matrix and Graph Algorithms
• SIMD language design using prescriptive semantics
• Some primitives for the portable programming of array and vector processors
• The denotational semantics of programming languages

Cited in

(2)

• Reasoning about data-parallel array assignment
• A calculus for parallel computations over multidimensional dense arrays

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Correct translation of data parallel assignment onto array processors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1336950)