• DOI:10.1145/363095.363143
Corpus ID: 2021311

The structure of the “THE”-multiprogramming system

@article{Dijkstra1968TheSO,
  title={The structure of the “THE”-multiprogramming system},
  author={E. Dijkstra},
  journal={Commun. ACM},
  year={1968},
  volume={11},
  pages={341-346}
}

E. Dijkstra

Published 1968

Computer Science

Commun. ACM

View on ACM

cs.duke.edu

Save to Library

Create Alert

Cite

Launch Research Feed

A multiprogramming system is described in which all activities are divided over a number of sequential processes. These sequential processes are placed at various hierarchical levels, in each of which one or more independent abstractions have been implemented. The hierarchical structure proved to be vital for the verification of the logical soundness of the design and the correctness of its implementation.