Reasoning about data-parallel array assignment

DOI10.1006/JPDC.1995.1073MaRDI QIDQ1898214zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 11 March 1996

Published in Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jpdc.1995.1073

zbMATH Keywords

FORTRAN 90 array assignmentHPF array assignment

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Correct translation of data parallel assignment onto array processors
• scientific article; zbMATH DE number 107700
• Implementing (nondeterministic) parallel assignments
• Realizing the parallelism of array-based computation
• Application of parallel arrays for parallelisation of data parallel algorithms
• Conflict-free allocation of arrays during parallel computations
• scientific article; zbMATH DE number 515940
• On process assignment in parallel computing
• Parallel scheduling of recursively defined arrays
• Algorithmic aspects of parallel data processing

Cited in

(3)

• Formal validation of data-parallel programs: a two-component assertional proof system for a simple language
• AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
• Correct translation of data parallel assignment onto array processors

This page was built for publication: Reasoning about data-parallel array assignment

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