AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗

DOI10.1080/10637199808947391MaRDI QIDQ4485121zbMATH OpenOpenAlexFDO

Authors A. Stewart, M. Clint, Joaquim Gabarró

Publication date 5 June 2000

Published in Parallel Algorithms and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/10637199808947391

zbMATH Keywords

bulk-synchronous parallel computation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A system for axiomatic programming
• A calculus of functional BSP programs
• scientific article; zbMATH DE number 2102052
• BSP-style computation: A semantic investigation
• An axiomatic approach to structuring specifications
• The axiomatic semantics of programs based on Hoare's logic
• Axioms for strict and lazy functional programs
• scientific article; zbMATH DE number 3938560

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• A Proof System for Communicating Sequential Processes
• A proof technique for communicating sequential processes
• An axiomatic basis for computer programming
• An axiomatic proof technique for parallel programs
• An axiomatic treatment of SIMD assignment
• Deadlock-free absorption of barrier synchronisations
• Decomposition of distributed programs into communication-closed layers
• Formal validation of data-parallel programs: a two-component assertional proof system for a simple language
• Guarded commands, nondeterminacy and formal derivation of programs
• Reasoning about data-parallel array assignment
• Tentative steps toward a development method for interfering programs

Cited in

(9)

• BSP-style computation: A semantic investigation
• scientific article; zbMATH DE number 1863308 (Why is no real title available?)
• Axiomatization and characterization of BSP algorithms
• A bulk-synchronous parallel process algebra
• scientific article; zbMATH DE number 2102052 (Why is no real title available?)
• scientific article; zbMATH DE number 1691466 (Why is no real title available?)
• A programming model for BSP with partitioned synchronisation
• scientific article; zbMATH DE number 1760046 (Why is no real title available?)
• Barrier synchronisation: Axiomatisation and relaxation

This page was built for publication: AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗

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