Accession Number:

AD0769674

Title:

Parallel Programming: An Axiomatic Approach

Descriptive Note:

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

• Hoare, C. A.

Report Date:

1973-10-01

Pagination or Media Count:

34.0

Abstract:

The paper develops some ideas expounded in a previous paper. It distinguishes a number of ways of using parallelism, including disjoint processes, competition, cooperation, communication and colluding. In each case an axiomatic proof rule is given. Some light is thrown on traps or ON conditions. The program structuring methods described in the report are not suitable for the construction of operating systems.

Descriptors:

• *COMPUTER PROGRAMMING
• COMPILERS
• MATHEMATICAL LOGIC
• PARALLEL PROCESSORS
• SYNTAX

Subject Categories:

• Computer Programming and Software
• Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE