Provable programs and processors.

Published in: AFIPS National Computer Conference (1974)

Keyphrases

parallel algorithm
parallel processing
parallel computing
image processing
answer sets
control structures
database
worst case
programming language
signal processing
programming environment
parallel programming