A Verified Integration of Parallel Programming Paradigms in CC++.

Paolo A. G. Sivilotti

Published in: IPPS (1994)

Keyphrases

programming paradigms
parallel programming
parallel algorithm
shared memory
programming language
parallel computation
parallel processing
search algorithm
knowledge base
general purpose
parallel implementation
parallel computing
constraint logic programming
logic programming
cloud computing
design patterns