The Total Correctness of Parallel Programs.

Lawrence Flon Norihisa Suzuki

Published in: SIAM J. Comput. (1981)

Keyphrases

provably correct
high level programming language
parallel processing
shared memory
decision trees
automatic programming
sorting algorithms
neural network
real world
computer vision
search algorithm
deductive databases
parallel computation
distributed memory
control structures