Parallel Programming: An Axiomatic Approach

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1973
Accession Number
AD0769674

Entities

People

  • C. A. Hoare

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Acquisition
  • Algorithms
  • Artificial Intelligence
  • Commerce
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Concrete
  • Construction
  • High Level Languages
  • Language
  • Notation
  • Operating Systems
  • Programming Languages
  • Sequences

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Parallel and Distributed Computing.
  • Systems Analysis and Design