Reduction: a method of proving properties of parallel programs
Explore this paper's citation graph
Summary
Correctness proofs of a parallel system can often be greatly simplified because the assumption that a statement is indivisible can be relaxed and still preserve properties such as halting.
- Type
- article
- Published
- 1975-12-01
- Cited by
- 538
- References
- 5
- Access
- Open access
- OpenAlex
- https://openalex.org/W2072062729
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:900249
Keywords
Statement (logic), Correctness, Computer science, Mathematical proof, Property (philosophy)
References
Cited by
- Automatic Synchronization Correction
- A Partial Order Reduction Algorithm without the Proviso
- Semantics and logics for signals
- Étude de la sémantique de programmes parallèles réels en TLA
- Compile-Time Analysis of Explicitly Parallel Programs
- Using Formal Methods to Verify Transactional Abstract Concurrency Control
- The temporal logic of actions
- Modular progress proofs of asynchronous programs
- Formal design and verification methods for shared memory systems
- Static detection of anomalies in transactional memory programs
- Proving linearisability via coarse-grained abstraction
- Ownership-based order reduction and simulation in shared-memory concurrent computer systems
- Distributed resource allocation with scalable crash containment
- Structuring and Verifying Distributed Algorithms
- Progress-based verification and derivation of concurrent programs
- Back and Forth: Prophecy Variables for Static Verification of Concurrent Programs
- Formal Analysis for MPI-Based High Performance Computing Software
- Stepwise Refinement of Action Systems
- Lightweight Specifications for Parallel Correctness
Related papers
- Program Repair by Stepwise Correctness Enhancement
- A Fault-Localization Approach Based on the Coincidental Correctness Probability
- On the correctness of problem solving in ancient mathematical procedure texts
- “So my program doesn’t run!” Definition, origins, and practical expressions of students’ (mis)conceptions of correctness