AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
From MaRDI portal
Publication:4485121
DOI10.1080/10637199808947391zbMATH Open0954.68096OpenAlexW2515190522MaRDI QIDQ4485121FDOQ4485121
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Title not available (Why is that?)
- An axiomatic proof technique for parallel programs
- Guarded commands, nondeterminacy and formal derivation of programs
- Tentative steps toward a development method for interfering programs
- Decomposition of distributed programs into communication-closed layers
- A Proof System for Communicating Sequential Processes
- A proof technique for communicating sequential processes
- An axiomatic treatment of SIMD assignment
- Deadlock-free absorption of barrier synchronisations
- Formal validation of data-parallel programs: a two-component assertional proof system for a simple language
- Reasoning about data-parallel array assignment
Cited In (9)
- BSP-style computation: A semantic investigation
- Title not available (Why is that?)
- Axiomatization and characterization of BSP algorithms
- A bulk-synchronous parallel process algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- A programming model for BSP with partitioned synchronisation
- Title not available (Why is that?)
- 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)
