Nondeterminism and the Correctness of Parallel Programs.
Lawrence FlonNorihisa SuzukiPublished in: Formal Description of Programming Concepts (1977)
Keyphrases
- parallel processing
- provably correct
- situation calculus
- parallel implementation
- parallel computing
- high level programming language
- massively parallel
- automatic programming
- fixpoint
- multi core processors
- parallel execution
- shared memory
- information technology
- parallel programming
- distributed memory
- database
- sorting algorithms
- machine learning