Parallel Program Correctness Through Refinement.

Thomas W. Doeppner Jr.

Published in: POPL (1977)

Keyphrases

parallel implementation
parallel processing
parallel computing
learning environment
high level programming language
database
real time
information retrieval
computer vision
case study
massively parallel
static analysis
programming environment
depth first search
parallel execution
program execution