Parallel program correctness through refinement
TW Doeppner Jr - Proceedings of the 4th ACM SIGACT-SIGPLAN …, 1977 - dl.acm.org
TW Doeppner Jr
Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of …, 1977•dl.acm.orgWe develop a theory for the correctness of asynchronous parallel programs. A program is
considered correct if its behavior is in some sense similar to that of an abstract version of the
program. We discuss various criteria for this similarity. We then concentrate on one of them
and develop a technique for showing that a parallel program is correct with respect to this
criterion.
considered correct if its behavior is in some sense similar to that of an abstract version of the
program. We discuss various criteria for this similarity. We then concentrate on one of them
and develop a technique for showing that a parallel program is correct with respect to this
criterion.
We develop a theory for the correctness of asynchronous parallel programs. A program is considered correct if its behavior is in some sense similar to that of an abstract version of the program. We discuss various criteria for this similarity. We then concentrate on one of them and develop a technique for showing that a parallel program is correct with respect to this criterion.