An exercise in proving parallel programs correct.

Published in: Language Hierarchies and Interfaces (1975)

Keyphrases

parallel processing
parallel computing
parallel programming
massively parallel
machine learning
image processing
parallel implementation
automatic programming
high level programming language
data sets
databases
high level
data structure
evolutionary algorithm
programming environment
multi core processors