The structure of the THE-multiprogramming system

E.W. Dijkstra

doi:10.1145/363095.363143

The structure of the THE-multiprogramming system

E.W. Dijkstra

Mathematics and Computer Science

Research output: Contribution to journal › Article › Academic › peer-review

632 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	341-346
Number of pages	6
Journal	Communications of the ACM
Volume	11
Issue number	5
DOIs	https://doi.org/10.1145/363095.363143
Publication status	Published - 1968

Access to Document

10.1145/363095.363143

Cite this

@article{d8c8c8abc34045e4b30d79eadb50bc83,

title = "The structure of the THE-multiprogramming system",

abstract = "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.",

author = "E.W. Dijkstra",

year = "1968",

doi = "10.1145/363095.363143",

language = "English",

volume = "11",

pages = "341--346",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "Association for Computing Machinery, Inc.",

number = "5",

}

TY - JOUR

T1 - The structure of the THE-multiprogramming system

AU - Dijkstra, E.W.

PY - 1968

Y1 - 1968

N2 - 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.

AB - 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.

UR - http://doi.acm.org/10.1145/363095.363143

U2 - 10.1145/363095.363143

DO - 10.1145/363095.363143

M3 - Article

SN - 0001-0782

VL - 11

SP - 341

EP - 346

JO - Communications of the ACM

JF - Communications of the ACM

IS - 5

ER -

The structure of the THE-multiprogramming system

Abstract

Access to Document

Other files and links

Fingerprint

Cite this