Completeness of the Owicki-Gries System for Parameterized Parallel Programs.

Leonor Prensa Nieto

Published in: IPDPS (2001)

Keyphrases

high level programming language
parallel processing
parallel programming
machine learning
programming language
massively parallel
distributed memory
sorting algorithms