Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs
Lawrence FlonNorihisa SuzukiPublished in: FOCS (1978)
Keyphrases
- provably correct
- logical rules
- situation calculus
- parallel processing
- association rules
- high level programming language
- imperative programs
- parallel implementation
- parallel computing
- decision rules
- theorem prover
- production rules
- consistency constraints
- multi threaded
- association rule mining
- domain experts
- programming language
- neural network